Converting Google Docs documents to HTML is easy. You can export documents as HTML, or use Docs to Markdown add-on from the Store to get the job done.

If you are still within the Python interpreter at this point, you can leave it and return to the command prompt by typing a control-D end-of-file character. Towards Something More Useful ...

This post explains how to write to a file in Python. You'll discover how to create word files (.docx), spreadsheets (.csv), text files, and more!