I swear that my Windows 10 File Explorer had this problem. Here is a user complaint about this problem from Nov 2019: https://answers.microsoft.com/en-us/windo

I swear that my Windows 10 File Explorer had this problem. Here is a user complaint about this problem from Nov 2019: https://answers.microsoft.com/en-us/windows/forum/all/cant-rename-case-in-file-explorer/cc4f69e9-cc3b-44c1-b81c-773470d36b18 https://answers.microsoft.com/en-us/windows/forum/all/cant-r... Here's another post from May 2018, explicitly mentioning Windows 10: https://answers.microsoft.com/en-us/windows/forum/all/why-cannot-change-filename-case/2f5f4e6d-9721-44f4-96ec-882fe66d8aa0 https://answers.microsoft.com/en-us/windows/forum/all/why-ca... But I checked again on my own Windows 10 machine (Windows 10 Pro, Version 2004, build 19041.450) and holy shit, it now works. It must have been fixed in a recent Window 10 update.