[issue23613] searchindex.js is annoying

[R. David Murray]

R. David Murray added the comment:

Martin's solution is similar to the one I use except that I made an alias for it and I also exclude topics.py.  Which is a tracked file.  It seems that what one wants to ignore is a bit of a personal decision, and so it is probably best left up to the individual to craft a solution (even though I also find it annoying :)

----------
nosy: +r.david.murray

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