Great! Thanks for the link to the manual. I’m actually looking for it. I should add that after saving, my PDFs started displaying incorrectly. So I used the PDF Guru converter https://www.youtube.com/@PDFGuru I came across recently. It supports a wide range of formats and is honestly quite easy...