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

[Julien Palard]

Julien Palard <julien+python at palard.fr> added the comment:

When mentionning a PEP I see no reason not to point to it, and as it's easy to do with the pep role, I'm +1 on this.

----------
nosy: +mdk

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