Searching in documentation

It would be very useful if there was a search box on the documentation home page
https://luart.org/doc/modules.html

Yes very good suggestion. I will see how to implement this