press print document, select pdf, confirm - done! arcane?
Saving/exporting as a PDF should be something you select in the same menu as saving a file normally. Or at least something very close an obvious.
Also, back when a lot of people first used computers the option to print as pdf might not have been available for them.