The current built-in search in the documentation site is slow and hard to use.

We should investigate using Algolia's docsearch: https://community.algolia.com/docsearch/ which is a free and commonly-used solution.