Html chars: fix translation of category names

Although the strings were properly marked for translation, they weren't
actually translated because they missed run-time replacement.