Re: [Python-ideas] PEP links in docs