Comment by EvilTrout

As a long time Google Docs user, this is great news.

We have learned time and time again that you shouldn't trust your data to one service, so easy exporting of your documents is a great feature, and should be done on a regular basis!