[plt-dev] file/zip file sizes

>> It does have a LEVEL definition which corresponds to the compression
> level argument for gzip, and I tried to tweak that to see what
> happens.  To my surprise, I discovered a bug that I introduced a long
> time ago -- which made it do almost no compression (or maybe none at
> all).  But the result still had valid format so it wasn't discovered.
>
> I fixed that, and made some other minor improvements [...]

That's great news! I'll grab the code and check it out.

Many thanks,

-- Dave