Subject: bug#28306: grep: option to filter non-printable characters from contents

From: Paul Eggert <[email-masked]>
Date: Thu, 31 Aug 2017 17:30:26 -0700

Santiago R.R. wrote:
> What's your position on this?

Sounds like a reasonable option, though I think I might make it another form of 
coloring rather than a separate option.