Okay, thanks everyone who answered.
In hindsight you are all correct, writing a new PEP is the best solution
and I was being over-optimistic (and a little lazy) to think otherwise.
I think that, technically, I still have core dev permissions, even
though I haven't used them for quite some time.
On Fri, 28 Aug 2020 10:20:08 +0200
Victor Stinner wrote:
> Hi,
>
> IMO a new PEP would avoid confusion:
>
> * The new PEP should list differences with the previously rejected PEP
> * The old PEP remains available unchanged to help to understand why it
> has been rejected
>
> It's common to have
