Treatment of @visibility when the element is not child of p:library

[xml-project]

For p:option and p:variable we say that it is an error, to declare visibility='private'when the p:option or p:variable is not a child of a p:library. (XS:0093)

But for the same attribute on p:declare-step we say:

If the p:declare-step is not a child of a p:library the attribute has no effect and is ignored.

I think this different treatment is confusing and we should find a uniform way to deal with this problem: Either error in all cases or ignored in all cases.

Did I miss something?

[xatapult]

No preference for how to deal with this

[ndw]

Per 21 Feb editor's meeting, just ignore it.

[xml-project]

Fixed with pr #781