>>> [log in to unmask] 2004-11-30 10:28:25 >>>
> (However, note that <otherElements> is just a wrapper for a number
of
> miscellaneous elements, and as such it serves no crucial purpose
other than
> to add a bit of structure, so it seems to me that it doesn't matter
much
> what it's called. Rather than change its name, perhaps we should just
remove
> it.)
Removing it makes sense. It doesn't represent any meaningful
abstraction; other elements have otherness by virtue of appearing
outside the <authority> element, so a separate container for them is
redundant.
--Andy
|