Please restore a search function in the docs website

[stefanobartoletti]

Hi, first of all let me thank you for your amazing work on this set of modules!

I want to suggest you to restore a search function into the documentation website.

If I remember correctly, the old website version had something like that, and I think that it would be useful to have this back again, it is not always easy to find information you may need just by navigating the site.