[issue18387] Add 'symbols' link to pydoc's html menu bar.

[Ron Adam]

Ron Adam added the comment:

Adding you Nick, I don't have commit rights.  This probably doesn't need much.. maybe a one line comment in news is all.  (And maybe not even that.)

----------
nosy: +ncoghlan

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