bug#17804: RFC: fixing the 32-bit size and time limits in gzip file format

[Paul Eggert]

Petr Stodůlka wrote:

> Are there any news/plans?

Sorry, no.

One simple way forward would be to implement what pigz -tl does, namely, 
decompress the input stream and discard the output, but print its size. 
 It's slow, but it works and requires no change to the gzip format.  Is 
that something you could do?

We could do something fancier later, if we like.