Re: [tei-council] Decision time: exactly how and where will this release be released?