Re: [tei-council] Reorganizing labels on GitHub