Better search

[JorgeCarousel]

Hey guys, can you add search capability for the documentation downloadable files? it doesn't even have to be written in php, it can just be like the one in python documentation files, JavaScript, so it can be run from regular HTML files.

Thanks.

[cmb69]

The *.chm files are already searchable. Adding search support to the "many HTML files" packages makes sense; a PR would be welcome!

[JorgeCarousel]

It's not letting me create a PR, but according to the files in Python documentation it is done using: Sphinx JavaScript utilities for the full-text search.