This short video that I made demonstrates how to download Google Documents.
Applications for Education
If you ever find yourself needing to send a document to someone who refuses to use Google Documents, downloading that document as a PDF or Word file is a simple solution. I often use the "Download as PDF" option for easier printing and distribution of handouts.
Learn more about Google Docs in my upcoming course, Getting Going With G Suite in 2019.