updated the html display to link to the TEI export