[tei-council] that naming thing