Re: Should we get rid of style insensitivity?

[reneha]

I'm OK with case insensitivity, but I still find the underscore insensitivity a 
bit weird. It didn't cause me any real problems though.