🐛 use git mv to rename files

git ignores cases, but python does not on import
https://docs.github.com/en/repositories/working-with-files/managing-files/renaming-a-file

Author: enryH