[Python-ideas] annotating PEP mentions (was: Naming Accepted PEPs as PAPs)