Re: help with gzip

[Paul Eggert]

I'm afraid it would be just as much work for me to find something like
that as it would be for you.  Good luck, anyway.