[tei-council] GitHub Labels re-organized