PDF is one of those weird "not for editing" formats, like STL. Hence why it's often in an Export As dialog rather than a Save As.

It used to be even hackier. You'd have to get some separate PDF authoring software which would present to applications like a printer driver, so to create a PDF version of your document you'd start with the Print command, not Save or Export, then instead of your printer you'd select your PDF authoring software, then when you clicked Print it would create a file on your hard drive instead of hosing data down a parallel or USB cable to one of Satan's Own Favorite Contraptions.

Hello! Thanks for the tip!

You literally 'print' to pdf. Instead of a physical page appearing from the demon box, it will give you a prompt of where to 'print' your file. Windows has it too, though I always use the pdf export and not the print. But in a pinch it's good.

You hit print and select the PDF output. It probably works everywhere you can select a printer.

Windows also has that, but you have to navigate your way out of OneDrive folders.

The PDF printer would be accessed via the Print functionality. It's a virtual device that renders output to a file instead of a physical printer.