[docs] [issue35042] Use the role :pep: for the PEP \d+

[Stéphane Wirtel]

Stéphane Wirtel <stephane at wirtel.be> added the comment:

sure, it's the default behavior of this role, I have a PR with the fix, but Github has a big issue with the PRs :/

----------

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