Not sure how to force this change, since git does not recognize simply renaming to different caps settings as an actual rename. Even editing the file contents themselves does not update the filename.

Apparently this is only broken on Windows 💀

https://stackoverflow.com/questions/10523849/changing-capitalization-of-filenames-in-git