◐ Shell
clean mode source ↗

Message 364358 - Python tracker

I'm personally still in favor of the change.  This wouldn't be the first big movement of files in our repo and likely not the last, and I don't think git/GitHub's support (or lack thereof) for file moves is a good enough reason to not organize things better.