[Doc] [Discussion] A better search system

[alex3236]

There are a number of problems with the current search system for documentation - Slow search speed, incorrect or missing results, etc.

We could introduce a better search system.

According to readthedocs/sphinx_rtd_theme#761, it's possible to add Algolia to sphinx. As a matter of fact, there are some projects that already do this, such as sgkit.

It works well:

When we do the same search in MCDR's documentation:

I think a proper discussion is necessary. I would have liked to do some testing myself, but Algolia has to be applyed by the repository owner in order to be used, and I didn't want to create a separate dummy document for testing purposes.

[Fallen-Breath]

implemented in #234