How to Download Everything At Once In Google Docs

This year my county has introduced Google Apps, but due to our interpretation of COPPA, we are not letting our students (and since they can not be separated out, our teachers & administrators) share with someone outside of our domain.  If you have the same issue where you teach, it might be a concern for students who are graduating or leaving your school system.  Well a bunch of engineers at Google have a site explaining how to download any of their products in batch download.  Here is how you can do it for Google Docs.  Then, of course, you could tell your students (or fellow teacher) to turn around and re-upload it in a free Google Docs, so they take it with them to their next school.