• Erik, could you propose a change to the PEP text?

I just created https://github.com/python/peps/pull/2555 to address these issues.

-Erik