Re: Info enhancements

[Eli Zaretskii]

> Date: Sat, 6 Dec 2003 19:59:41 -0500
> From: address@hidden (Karl Berry)
> 
> My only other comment is that the spate of changes around
> Info-hide-note-references makes me question whether that is truly a
> desirable new feature or not.  It seems like it has potential to cause
> endless trouble for relatively little gain.  I hope at least that
> Info-hide-note-references=t will not be the default for its first release.

Given our experience from its introduction, I tend to agree.