I do agree that some solution would be good to be found to the file name casing problem. But just out of curiosity, I’d like to ask, in which kind of practical situation would you end up having two notes that have the same name but different casing? 
I do agree that some solution would be good to be found to the file name casing problem. But just out of curiosity, I’d like to ask, in which kind of practical situation would you end up having two notes that have the same name but different casing?