Use your browser to print to PDF.
Note: Google Chrome and Microsoft Edge are recommended for producing PDFs.