> (I remade the file so the timestamp is different) That's why you should always use "gzip -n". Having the file name and timestamp in the compressed file heade

> (I remade the file so the timestamp is different) That's why you should always use "gzip -n". Having the file name and timestamp in the compressed file header was IMO a mistake, and newer single-file compressors (bzip2, xz, zstd) AFAIK don't even have these fields in their native file format.