I've always considered case sensitive file names to be a feature, not a bug. I am personally annoyed by filenames not being case sensitive in Windows. I guess that's just how my brain works. To each their own, I guess.