[tei-council] IMPORTANT: master->dev change in TEIC/TEI