This PEP gets a big +1 from me! As a type checker maintainer, I would find it very useful for typing to have a clearer decision-making structure, especially for clarifying intended behavior in currently underspecified cases.
I like Sebastian’s idea of soft term limits; that seems like a good way of getting fresh perspectives and ideas into the council regularly.