readthedocs-sphinx-search (pypi): Sphinx extension to enable search as you type for docs hosted on Read the Docs.
Keywords: sphinx|search|readthedocs|sphinx-extension