[FR] Search functionality in docs

[The1029]

This would naturally make navigating the docs much easier.

Docusaurus's officially supports this with Algolia, which is free but means reliance on a third-party service. Local search appears to be available via a plugin which is listed in their community plugins.