[docs] [issue15871] Online docs: make index search always available.

[Ezio Melotti]

Ezio Melotti added the comment:

I find the current search quite useless.
I think index search with a fallback on text search when there are no results would be better.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue15871>
_______________________________________