Re: [tei-council] Post-release check in