[Python-Dev] Proposal for new 2to23 tool