I ended up turning the formerly-parenthesized note about libxml2'snode-set ordering into a DocBook <note>: there is really somethingparenthetical about it, with the official statement of node-setelement ordering being that there is none, and the description ofwhat the library happens to do being of possible interest, but setapart, with the necessary caveats about relying on it.