[docs] [issue23613] searchindex.js is annoying

[Georg Brandl]

Georg Brandl added the comment:

And what do you suggest to do about it?

----------
nosy: +georg.brandl

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