@miran Oops, my bad, you are right. But I guess one can get my point anyway.
TL;DR: The name of something should be what the developer writes. Period. And: I happen to be a convinced fan of case sensitivity but I can understand the arguments of the other side (and can live well with both).
