- Added extension ent2uni, a postprocessor which maps
  HTML entities to their unicode equivalents.