In fact if Saxon delayed the decision to generate the xmlns="" undeclaration
until after namespace fixup, it could reassign the default ("") prefix, and
generate a more pleasing output tree. But it doesn't.