Very unrelated issue - he resigned after the flamewars regarding PEP 572 (the addition of an assignment expression ':='). After it had gone on for a while, he finally used his BDFL authority to shut down debate and approve the PEP, and then resigned shortly after. In particular, he felt that the Python Code of Conduct's requirement for civility was being completely ignored in attacks on him in social media.
