Re: info files genersated by 4.0 and read by 3.12

[Karl Berry]

    I think the solution is to have a command-line option that would refrain 
    from generating @anchor directives, so that people who would like to keep 
    compatibility with old Info readers could do so in a controllable manner.

If authors are that concerned, they could put @if's in their Texinfo
source to omit the @anchor's, corresponding @ref's, or whatever else.

    Unfortunately, makeinfo 4.0 generates @anchor directives for every 
    @footnote in the Texinfo source, so even if the author didn't use
    @anchor, the produced Info files could be incompatible with older Info 
    readers.

Wow, I didn't remember that.  Do we rely on the Ref: for the footnote,
though?