If we were to add Pygments support, it is to be done in pythondotorg project.

I recalled the decision was to get PEPs rendered using Sphinx and host it at Read The Docs, so we don't have to worry about updating pythondotorg.