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

[Luc Teirlinck]

Yuri Linkov wrote:

   `*Note' is a special tag, not part of the text.

`*Note' _is_ a part of the text.  It occurs in the output produced by
`makeinfo --plaintext', which, since it is entirely plain text, does
not have _any_ special markers.  Anyway, rather than to argue over
terminology, the important thing is: the user sees it, search has to
find it.  Note that both `s' and `C-s' in standalone Info correctly
match `*Note'.  If `not' would not match `*Note' in Emacs Info with
Info-hide-note-references set to t, then this would be very confusing.
It would make people start to doubt the reliability of search in
Emacs.  (What _other_ stuff does search in Emacs ignore?)  It would be
an outright bug.

Sincerely,

Luc.