Re: cross manual references in html manuals

[Karl Berry]

Thank you for the excellent proposal, Patrice.  I will read/comment in
detail later, but one (separable, I believe) issue comes up at the
beginning:

    expansion of @ commands

Personally, I think we should not support @ commands in node names.
Period.  Including accent commands and everything else -- instead, we
should support normal 8-bit chars as text.

Eli wrote a makeinfo hack for this to help out one user, but officially
supporting it would be monstrously difficult to implement in TeX, and
it makes the rules much more complex.  So I really don't want to do
that, except as the sort of unofficial extension that it is now.

More later,
karl