Re: Todays exercise of sanity (or does "see" really match "not"?)

[Luc Teirlinck]

Yuri Linkov wrote:

   It is easy to add a test for Info-hide-note-references, but I think it
   would be more convenient to skip the `*Note ' tag even when it is visible.
   Searching for "not" is too tiresome when search stops at every cross
   reference.

A search for `not' is going to stop at many places.  Searching should
be predictable.  Please do not start adding tons of exceptions and
"exceptions to exceptions" to searching by trying to double guess the
user.

A case-insensitive non-word search for `not' _should_ match `*Note'.

Sincerely,

Luc.