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

[Sanyam Khurana]

Sanyam Khurana <sanyam.khurana01 at gmail.com> added the comment:

Hey Ron,

Friendly ping :)

Can you please convert this into a pull request?

----------
nosy: +CuriousLearner
versions: +Python 3.9

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