Clarified TEI to Bodin HTML todo.