Add some documentation for TEI tags