Re: [tei-council] Planning TEI Release 3.1.0