I searched for linter in the online documentation. I got several dozen "hits", but none of them had anything to do with the search term. (The PDF documentation in fact shows no hits at all.)
I'm thinking that the logic of the search offers some sort of fuzzy matches when nothing matches exactly, and it is overly eager to gives something back. I think it would be better to report that nothing was found rather than a long list of stuff that is irrelevant.
I searched for
linter
in the online documentation. I got several dozen "hits", but none of them had anything to do with the search term. (The PDF documentation in fact shows no hits at all.)I'm thinking that the logic of the search offers some sort of fuzzy matches when nothing matches exactly, and it is overly eager to gives something back. I think it would be better to report that nothing was found rather than a long list of stuff that is irrelevant.