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