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