TIL about zgrep!

linux.die.net/man/1/zgrep