We have an opportunity to get better doc search on our site, with the new numpy.org thrown in as well.

It's the search engine pytorch.org uses. If you do a search there and click the Algolia logo at the bottom right, you'll see the deal: Algolia provides pytorch.org with search for free.

Algolia is looking to work with sites like ours -- sites hosting open-source docs.

Better site search would help people get the right content for the right NumPy version, rather than spinning the wheel with Google.

Does anyone object if I get started with this? They'll crawl our site and get back to us with an API key.

I'll integrate it; it's been done with Sphinx before.