[Python-ideas] PEP links in docs