Re: Should we get rid of style insensitivity?

[idobai]

Style insensitivity is bad when you try to use tools like grep, sed etc. and it 
also confuses a lot of people. **I want a vote.**