Searching in docs

[Jan Šmucr]

Hello.
Since 2.31, the documentation has been presented in a different way, and it’s 
no longer possible to search in it. That’s quite a major and rarely seen 
inconvenience.
Is this going to be addressed in the near future?
Thank you.
Jan