[Python-Dev] On the migration from master to main