Re: [tei-council] TEI/HTML5 Project