Nicolas, (Delayed) Thanks for your (other) fixes.  I will respond to
those separately.  Meanwhile...

This mail comes in two parts

a) A bug
b) A request

----------------

Bug
===

ox-texinfo:  Xref are not typeset properly

See attached files.

----------------

Request
=======

(May be?) Put "*Org INFO Texinfo Output*" in `compilation-mode'.