Re: [tei-council] agenda item / bug