On Sat, 2010-11-06 at 19:50 +0100, Robert Nagy wrote: > Hey > > I don't really care which one goes in. I think gzip -d might > be a better idea then. Any other comments? I say go ahead with "gzip -d", should be fine for everyone. C.