[issue42106] docs.python.org prioritises search horribly

[Xavier Morel]

Xavier Morel <xavier.morel at masklinn.net> 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.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue42106>
_______________________________________