text: Title: Integrate Algolia (or similar) for docs search
  Body: Sphinx's built-in search isn't great. It'd be much better to use Algolia or similar.
  
  Looks like it's possible:
  
  https://stackoverflow.com/q/54872828/709975
  https://github.com/readthedocs/sphinx_rtd_theme/issues/761
  
  If anyone wants to take this, I'm happy to help.