Given the web based nature of Google Docs this isn’t trivial alas, perhaps via a dedicated exporter at some point.