It's a proprietary service, but provides free access for open source software projects.
What do you think?
Personally I think Algolia DocSearch is more snappy and has more convenient keyboard shortcut & result preview. You can try it on https://tikz.dev (press Ctrl+K then type something in)
Also it would reduce the workload on the hosting server (currently Sphinx search feature is run on the server) (I don't know what the server is hosted on).
https://github.com/algolia/docsearch
It's a proprietary service, but provides free access for open source software projects.
What do you think? Personally I think Algolia DocSearch is more snappy and has more convenient keyboard shortcut & result preview. You can try it on https://tikz.dev (press Ctrl+K then type something in)
Also it would reduce the workload on the hosting server (currently Sphinx search feature is run on the server) (I don't know what the server is hosted on).