upload .pdf menus (and compress them)

[jmonster]

• https://ghostscript.com/doc/current/Ps2pdf.htm
• https://gist.github.com/mammuth/4ede30cfb965f730ae6505c2d61a7408
• https://gist.github.com/firstdoit/6390547