It turns out that when doing a Print to PDF, a searchable PDF file is printed out as an image PDF due to something about fonts on the page not being supported - if I understood the explanation elsewhere, if the page uses non-supported fonts, the prin...
re GMolnar on 4/4/25: the search function you describe does *not* work for me. It will not search the PDF at all. This is a crucial ability that I am astounded is missing.
