- the documentation of texinfo does not state to avoid colon in the
third parameter of @pxref
You're right that there is nothing about that particular case in the doc
(that I could find either). I'll add something.
- texinfo forgets to escape the colon?
Unfortunately there is no escape mechanism for special chars in
node/xref/anchor/etc. names. A design flaw since day 1 of Texinfo, that
perhaps we will fix one of these years, but not this one.
Thanks,
karl
