Re: Compressing files (gz versus bz2 versus xz)