As you point out, though, the spec disagrees with Kay
about child::node() matching namespace nodes.  Maybe the spec writers
forgot about namespace nodes when they wrote that??

Namespace nodes are not on the child axis. I'd think node()
would match namespace nodes if applied on the namespace axis.