[Python-checkins] peps: Remove redundant leading zeroes in PEP references.