translation_table = {}
for line in open('utf8ienc.dtx'):
    m = re.match('%.*\\DeclareUnicodeCharacter\\{(\\w+)\\}\\{(.*)\\}', line)
if m:
    codepoint, latex = m.groups()
Replace all accented characters by their LaTeX equivalent