Merge "TitleWidget: Perform diacritic-insensitive highlighting"