I do not think we need a show of hands. This is a corrigible error that should never see the light of day. It is most definitely a bug, and one that needs to be squashed. HOWEVER, it's not nearly so easy as it looks. In fact, it's a big problem. If I just do as you suggested, Lou, we run into a validation problem. Remember that there is a problem in the RELAX NG world with validating macro.anyXML when DTD compatibility mode is on. You get a conflicting ID-types for attribute "id" ... error, which indeed I get when running `make test` from both the Validate testbasic.xml against RELAXNG testbasic.rng and the Validate tei_svg.tei against RELAXNG tei_svg.rng steps. I will be looking into this in more detail as soon. (I need to eat first.) But in the meantime, do people want me to check in the change so they can play with the error, or try to fix it first?
So we need a quick show of hands as to whether we consider this[1] to be a bug or not[2].
[1] i.e. the fact that you won't get a satisfactory schema if you (a) select the header module and (b) do not select the tagdocs module and (c) expect to be able to use <xenodata>
[2] I think it is.