Forum Moderators: open
The "print to pdf" would be within the browser. There are several freeware pdf printers out there (pdf95 is popular).
I would fire up Adobe and create a PDF and provide a link. The file size is likely to be smaller, and you can 'tweak' the PDF for presentation. Your page might suck as PDF conversion, even though the content is worthy.
You might consider a print style sheet if the content is more likely to be printed and used - rather than downloaded and saved.
There are some very expensive commercial solutions available(HighWire), and for a low cost solution, check out HTMLDOC.
But I haven't found what I'm looking for yet i.e. a cheap HighWire.