Update a document on the website to the most recent version NOTE: we typically download PDF files of our Google Documents, because PDF files tend to work better across different devices...