Improved TEI to HTML conversion.