Docs pages should have search box in their headers


If you’re on a docs page - e.g., - if you want to search for something you have to click the “Home/Search” link in the header which takes you to the home page which is the only page with a search box. A search box should be included in the header of all pages.


Several links in the docs areas yield 404 not found. Please fix that too.


It would already be nice if serach worked.
Something simple like unload gives no result back


This is a shortcoming of our current docs provider (Readme). We’re evaluating other options.