Re: [Tei-council] Fairly urgent bug in recent releases