And this, from further down: grep --universe would be a good shortcut, except that i think we all agree this important functionality should be present by defau

And this, from further down: grep --universe would be a good shortcut, except that i think we all agree this important functionality should be present by default. showing these results from places other than my local computer should be opt-out! how about grep --no-universe ?