Update tei2html