The user guide in the GUI help section doesn’t have the search functionality making it really hard to look through a 50 page document.
I think the site disabled the keybind for searching. If you are using Firefox, your should be able to find search function on the top right menu → find in page … . That will work.
Hmm, interesting, this works for me on Firefox (Linux), at least once you’ve clicked on the document so that Ctrl-F is hitting the right place.
So, it is the website design flaw.
Basically the website is using the pdf.js to display the pdf file of the user menu. And I inspected the website source code and turned out that the nav bar (the one contain Morse Micro Logo) is covering the control bar of the PDF.js lib control bar.
Normal situation:
After ctrl+f:
Noticing that there is extra box under the nav bar.
If I intensionally remove the nav bar node in the inspection tool:
Indeed ctrl + F is triggering the find function of the PDF.js controll bar not the one built-in with the Firefox.
The solution is to put PDF.js element within a div to bring the whole display under the nav bar or disable the PDF.js control bar.
Ah, right, forgot about this one. Should be fixed in 2.6.6 (i.e. if you build a new image).