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

[Richard Stallman]

      Anyway, rather than to argue over
    terminology, the important thing is: the user sees it, search has to
    find it.

I wouldn't put it quite so strongly, but this is basically right.
Search should find all sorts of markup that are in the text.

Please, everyone, consider this question settled and stop arguing!