Remove INI highlighting

It makes a mess.