Using the built-in search function in the TAG you don't get any hits of the title of a page. For example this search results in zero hits: https://www.cendio.com/resources/docs/tag-devel/html/search.html?q=+Run+ThinLinc+administration+commands+using+sudo Despite there being a section with that exact name. This seems like a major flaw to me, titles are likely very relevant hits.
Other titles work. It looks like there is something with certain words. Searching for just "using" also gives 0 results, even though that word occurs in many places.
Reported upstream and they also committed a fix: https://github.com/sphinx-doc/sphinx/issues/10277 Need to back port this to our Sphinx.
Fixed now and it's now possible to search for that title (and other hits for using). (You get some bogus hits as well though, but that's just the way Sphinx' search works)
I have reproduced the issue with a locally built TAG with `cendio-build-python3-sphinx-*-4.2.0-1' installed. Upgrading this package from release 1 to 2 resolves the issue with "using". The rest of the testing was done using server build #2533. Other short words that will be subject to stemming (such as "IPs") now give appropriate search results. I also had a look at the patch (which applies just fine) and release notes and everything looks good. Marking as closed.
