You're absolutely right, but here's my point: "Download as PDF" is a neat one-click-to-download solution on Wikipedia, and the beautiful thing about this solution is that regardless of your OS/Browser/Print-Settings, PDF files will always have the same standard layout.