Re: [Python-Dev] PEPs don't redirect on python.org