Re: [PATCH] gzip: ship zgrep, zless and zmore