A friend of mine recently made a very useful greasemonkey script for google docs. It allows you to just list your documents and download them all as whatever you would like. Rather then the time consuming alternative
of opening and exporting them all individually.

http://1st-soft.net/gdd/

Isthisspam.com

[Unlinked URL. -Philipp]