Re: Display of cross references to other manuals

[Luc Teirlinck]

>From my previous message (in reply to your message):

       Maybe we should just turn this feature off by default.  It has
       already generated lots of discussions and controversy, which is a
       clear sign of something that quite a few users will dislike.  We
       shouldn't make such features be on by default, I think.

    Personally, I agree completely with this.  Let us see what Richard
    says.

To avoid confusion, I believe you were talking about
Info-hide-note-references in the quote above (and that is what I am
agreeing with).  Juri's feature is a `subfeature' of
Info-hide-note-references and if we would keep the default value of
Info-hide-note-references `t', then I believe that some form of Juri's
feature would constitute a definite improvement over the present
situation.  We would still have to decide on the details of _which_
form.

Sincerely,

Luc.