An in case it sees more recent updates, the github copy (where Guido proposes people can submit changes) is here: https://github.com/python/peps/blob/master/pe

An in case it sees more recent updates, the github copy (where Guido proposes people can submit changes) is here: https://github.com/python/peps/blob/master/pep-0572.rst https://github.com/python/peps/blob/master/pep-0572.rst