[tei-council] Post-release check in