Even more annoying is that it’s very cumbersome to change the case of a file once you’ve created it.

If you accidentally create fIle.txt when you meant File.txt, the rename function does nothing … and it will keep displaying as fIle.txt. You have to rename it to something else entirely, then rename it back to the original name with the intended case.