For posterity, as the submitted link seems temporary: https://github.com/python/peps/pull/4622