readthedocs.org

dea3487b - Docs: use addons search (#11303)

Docs: use addons search (#11303) Do not install `readthedocs-sphinx-search` extension and hook the "Search docs" input from the top right to the `readthedocs-search-show` event to trigger the addons search modal.