Re: [tei-council] Oddity in RNG generation with new @cert datatype