Re: [tei-council] GitHub P6 label, anyone?