If no one beats me to it I can update the PEP to use Condorcet and a draft ballot tomorrow (and can lock the poll then).
I still don’t see the need as I think it’s pretty obvious we all want to move on. But if people really want to have that field to almost automatically write the largest number (and thus the lowest ranking) on the ballot then fine by me.
I’ll plan to update the PEP to say we will hold weekly votes until the tie is broken which should be scary enough to get people to change on the first re-vote to break any tie/cycle. If someone wants to start a separate thread to discuss this and potentially hold another poll then that’s fine.