Re: Should we get rid of style insensitivity?

[idobai]

@moerm grep -i is not style-insensitive, it's only case-insensitive which means 
it'll be useless most of the time. This feature shouldn't be in any language.