@jdemeyer thanks for the PR, but we don't update PEPs that are not informational post-implementation as the docs become the official reference at that point.

PEP 575 is not yet accepted.

@jdemeyer, can you change the Python-Version to 3.8? Python 3.7 is already frozen for changes like this.

The fix to PEP 539 is just to fix a build problem with the peps. It is unrelated to PEP 575 but I wanted to fix that issue anyway.

Ah, I see! That threw me off.
PEP pull requests get squashed, so the fix-up should have its own PR. I filed it as #651.

I just didn't want to get the blame for failing the build (which was already failing before) and I saw an easy fix.

I removed the commit touching PEP 539.