Document how Algolia search is working

We are relying on a 3rd party service https://community.algolia.com/docsearch, so we need to document how that's working.