How to Extract a Google Doc file as a PDF

I know this is a simple process for many, but several people have asked me how to easily (and freely) make a PDF of a file. One of the simplest ways is to load the document into Google Docs, and then download a PDF of it, like this: