You can download a Google Docs file from a computer or mobile device and select the appropriate format for your file.

Discover Vert, the open-source file converter that offers fast, secure, and universal conversion for all your digital assets.

There’s also an open-source utility for the job that I’ve been using constantly: Pandoc. Pandoc calls itself "a universal document converter," with support for dozens of markup formats and document ...