Okay, I sent a PR: https://github.com/python/peps/pull/1630

On Wed, Sep 30, 2020 at 10:50 AM Brett Cannon <brett@python.org> wrote:
I'm also in favour of the amendment if that matters. 😉

On Tue, Sep 29, 2020 at 3:00 PM Eric Traut <eric@traut.com> wrote:
I'm in favor of this amendment too. It makes sense to use only the redundant form to have this special meaning.

I'll need to update pyright as well, but the change is straightforward. I'll wait until the updates go into typeshed. (Thanks Shantanu!)

This will represent a "breaking change" that could impact other type stubs in the wild, but I don't think the impact will be significant.

--Guido van Rossum (python.org/~guido)