[Python-Dev] PEP 525, fourth update

[Guido van Rossum]

Thanks Yury! (Everyone else following along, the PEP is accepted
provisionally, and we may make small tweaks from time to time during
Python 3.6's lifetime.)