Google have now allowed documents to be downloaded via their API
(http://googledataapis.blogspot.com/2009/02/start-downloads.html) so
the google docs repo plugin could be finished.
At the moment i've set the export format hardcoded, hopefully we can allow the
repo api let the user choose later...