'grep diff'

[utzoo!decvax!ucbvax!ihnss!houxi!houxd!houxc!hound!houxv!houxt!houxn!houxm!houxr!pete]

A very minor point. I think you'll find GREP to have come from
the ED command for  global regular expression print ( g/re/p).