Re: [Tei-council] WG: A new tool for the TEI!