GoogleDocs Export PDF

Googleドキュメントで作成した文書をPDFでダウンロードしたい時にメニューをたどったり、URL末尾をeditからexport?format=pdfに書き換えたりする方法がありますが、いずれも１アクションでは済まないため、ブックマークレット化して１アクションで済むようにしました。

使い方：

PDFとしてエクスポートしたいGoogleドキュメントを開き、このブックマークレットをクリックして実行するとPDFがダウンロードされます。