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.
I really don't know the answer to that question
I realize that I can open it in the browser and search there, but I often like to save this sort of thing as a PDF that I can search whenever I wish. However, when I do that either using the PDF Creator virtual printer or Google's Print as PDF option, I cannot OCR process the resulting file such that it's searchable. This is most peculiar, given that the entire thing is mostly text. I even tried on an old copy I'd saved from 2018.1 and that didn't work.
I'd just like to have this documentation in some sort of format besides HTML that I can search in for specific text.
Brian - Windows 10, 64-Bit, Version 21H1, Build 19043
I do not understand why some seek to separate a person from their actions. The self is composed of an individual’s thoughts, actions, and expression, which are contained in and actuated by the body. What you do and say is the clearest indicator of who you are.
~ Brian Vogel