Re: [Tei-council] xmllint issues