The poll’s been closed for a while now (and I’ve been distracted, sorry) but out of 33 voters, 29 voted for a Discourse poll to change PEP 13, and only 4 voted for a heavy-duty vote. So the Discourse poll wins with roughly 87.9% of the votes, and that’s what we’ll do.
The next step is now in Adopting STAR voting - #7 by brettcannon, where I am trying to come up with a definite diff to PEP 13 on which to vote. I will follow up there with an update to.