Comment by Xeophon

Recently discovered grep.app and it is incredibly useful. Wish I’ve knew it earlier.