I hadn’t realised that Firefox now generates tagged PDFs when printing, that’s super nice functionality: https://firefox-source-docs.mozilla.org/accessible/TaggedPdfOutput.html (thanks @jcsteh!)