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

[Stéphane Wirtel]

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

in fact, in the doc of Sphinx, it's just :pep: and not :PEP:

see http://www.sphinx-doc.org/en/master/usage/restructuredtext/roles.html?highlight=%3Apep%3A#role-pep

in this case, I think it's better to use the "reference" and use pep in lowercase.

----------

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