[tei-council] @restriction doesn't make it to documentation

Apologies if this has been pointed out before, I'm a bit behind on PureODD. I just realized that although the pattern specified on @restriction of <dataRef> makes it into the .rnc file (and .rng, and I presume .xsd although I couldn't care less), it does not make it into the HTML customized documentation file.