That's explicitly called out by miedzinski, the PR author, in the discussion [1]--although for some reason it's mentioned as PEP 512 but links to the same page you mentioned.
Reading through the Pull Request, it's nice to see such a civilised, courteous dialog between the submitter and maintainers (https://github.com/python/mypy/pull/2761). I can imagine (and have previously seen) many similar dialogs break down and resort to less errm... "empathetic"/productive comments. Guido++!
3 comments
[ 3.4 ms ] story [ 15.2 ms ] threadhttps://www.python.org/dev/peps/pep-0518/
[1] https://github.com/python/mypy/pull/2761