Searching the documentation is frustrating. Lots of barely relevant hits. Some things will never be found.
Etc.
On the other hand, full-text searching of the PDF is a breeze.
So, I wonder if it would be possible to employ some embedded PDF viewer instead of the
web-page interface? Does anyone have experience with one of those?