You make a reasonable point so I don't want to oppose it but just to offer more tricks in case some of you don't know them: _less_ has a nice "&" command that

You make a reasonable point so I don't want to oppose it but just to offer more tricks in case some of you don't know them: _less_ has a nice "&" command that is like "/" (search) but that filters instead like grep. You can also pipe to an external command from less