use results for public TEI release