Why Convert a Google Doc to PDF Outside Google Docs When There's an Add-on for It

Every Google Doc has a "Download as PDF" option sitting two clicks away under File, Download. For one document, once in a while, that's the whole job. Nobody needs an add-on for that. The trouble star