How to export the Google documents

Users can now export Google Documents as .docx format. This will show up as an option in the "Download as" menu.