Note: groups.io will be down for maintenance on Monday, September 26th, starting at 9AM Pacific Time (4PM Monday September 26, 2022 UTC), for approximately one hour.
Re: Files / Search not working #files
I wonder if on the older PDFs the text was stored using the oldPDF files are typically compressed (like zip files). Moreover, the characters are not always encoded as either ASCII or Unicode. So it typically takes some special purpose code to make the content searchable. Later versions of Windows have that built-in, earlier versions required a plug-in to explorer's search indexer.
So being unable to search content of a PDF file would not be a surprise, rather it would be a surprise to find one where the text content is searchable in plain text.
More Help: https://groups.io/g/GroupManagersForum/wiki
Even More Help: Search button at the top of Messages list