[issue42106] docs.python.org prioritises search horribly

Xavier Morel added the comment: Apparently it's at least a possibility on DDG's side (https://duckduckgo.com/search_box), don't know how easy it'd be to integrate in sphinx, or whether a hard dependency on an external search engine is acceptable / desirable. --

[issue42106] docs.python.org prioritises search horribly

Inada Naoki added the comment: Can we add search box using DuckDuckGo? https://duckduckgo.com/?q=site%3Adocs.python.org%2F3%2F+list+append -- nosy: +methane ___ Python tracker

[issue42106] docs.python.org prioritises search horribly

New submission from Xavier Morel : I expect it simply uses sphinx and I don't know if sphinx's search is easily customisable but the experience is really terrible when looking for the doc of a specific thing, *especially* when that thing is or is related to a builtin, which I'd expect to be