Re: Refilling overrides texinfo commands

[Luc Teirlinck]

Kim Storm wrote:

   Your example illustrates such a case, but I have been unable to find
   any actual examples in the existing texi files (I haven't looked at
   every @*, but I'd say it seems like a non-problem in practice).

and:

   Emacs info does respect @* in general -- it is only in connection with
   note references that it may accidentally be undone.

Yes, but we have to worry not just about present info files included
with the Emacs distribution, but about future info files and about
`Texinfo' as a language.  It reduces the attractiveness of a language
if one of its main readers respects its commands "most of the time" as
opposed to "all of the time".  If commands not working as specified
does not even get considered a "bug", reliability is gone.

Sincerely,

Luc.