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

[Stéphane Wirtel]

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

@thatiparthy

When you start to contribute to Python, and you see there is a PEP in the doc.

1. What's a PEP?
2. Where can I find the PEP XYZ?
3. Am I on the right website for the PEP?

if you don't know the concept of the PEPs, you will check with your favorite search engine because you are a developer. This is not the case for everybody.

For a newcomer/beginner, read the right information just with a click, it's just the founding principles of the Web.

create a link is not a real problem for a computer and for the end-user will be happy.

----------

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