[docs] [issue23613] searchindex.js is annoying

[Antoine Pitrou]

Antoine Pitrou added the comment:

That's a good question :) Making it a normal multiline file would be good enough.

----------

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