Fix search

[lhstrh]

The Algolia Doc Search functionality does not yet work. We've temporarily disabled it and will need to apply with Algolia to get approved. Their requirements are as follows:

To have your request validated, we'll ask that you check all the following points. You must be the owner of the website, or at least have the permissions to update its content. You'll need to include a JavaScript snippet to your frontend to implement DocSearch. Your website must be publicly available. We do not host search indices for websites that are only available after authentication or are hosted on a private network. Your website must be a technical documentation of an open source project or a technical blog. We do not index commercial content. Your website must be production ready. We won't index empty websites nor those filled with placeholder content. Please, wait until you have written some documentation before applying. We would be happy to help you as soon as you have a steady design. If in doubt, don't hesitate to apply and we'll figure it out together. Even if we cannot accept your request, this does not mean that you cannot enjoy great search on your website.

[lhstrh]

Update: inquiry with Algolia is now pending.