[docs] [issue23613] searchindex.js is annoying

[Georg Brandl]

Georg Brandl added the comment:

Most important reason to close this: this is not something to change in Python, but would have to be changed in Sphinx.

----------
resolution:  -> third party
status: open -> closed

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