Minor cleanup: grep has -q for this.

Authored by ouwerkerk on May 9 2020, 2:03 PM.