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.