Re: [tei-council] detest.odd uses pre-pure datatypes