Thread:Extension talk:DumpHTML/Unicode diacritic character on dumped html