Put the Google search that is in the main documentation page on *each* documentation page.
|Reported by:||Beetle_B||Owned by:||nobody|
|Has patch:||no||Needs documentation:||no|
|Needs tests:||no||Patch needs improvement:||no|
Currently, if I'm deep in the docs, and I decide to search for something unrelated in the docs, I have to navigate to the main Documentation page, and then do the search (via Google).
It sure would be convenient if that search field was on each page in the docs.
(Hope this is the right place to submit this ticket).