added diacritic-insensitive highlighting