The documentation output should have an easy way to get to the search from anywhere

[martindholmes]

It can be awkward to find your way back to the search in the documentation website. There should be an always-accessible link to get you there, or perhaps an omnipresent search box.