I'd just print it from any browser on OS X to PDF

You can do it with a PC also, if you have Adobe Acrobat installed. All you have to do is say print, and then select Acrobat Distiller.

It's definitely not as obvious as OSX...