Thanks Michael for pointing me to the right place in the documentation
for saxon:disable-output-escaping.  Unfortunately, this just gives me
the raw Unicode, where I need the escaped numeric character references.