Re: Should we get rid of style insensitivity?

[mitai]

I don't want a vote. It's a great feature that already saved me many hours of 
unproductive discussion. There are more pressing topics to focus on to v1.0