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

[Stefan Monnier]

> `*Note' is a special tag, not part of the text.  For instance,
> Web browsers don't display tags, and don't allow them to interfere
> while searching.  Some browsers provide two search modes: search for
> text including link text, and separate mode to search only link text.
> And nobody asks for an ability to search for HTML tags like `<a href='.

The `<a href=' stuff is not displayed, so it's no surprise people don't
expect search to find those things.

> So I'm sure many people will like to skip `*Note' in Info too.

That's possible, but it won't surprise them if it matches them, so long as
they're visible.


        Stefan