update html2tei