Why does latex gzip the synctex file, and no other aux files? Ungzipping the file reveals it is around 40kb, which isn't much. Is this "legacy" behaviour (when computers did not have much storage) or is there a benefit to gzipping that file?
It's true that gzipping the
while the unzipped file is
The PDF file turns out to be only 2.2 MiB; the figures speak by themselves: the size grows very fast. Unzipping the file on the fly when requested by the software that does the synchronization between editor and PDF viewer is fast and doesn't create a noticeable overhead.
Modern computers don't have big space constraints on disk, but a 4.5 to 1 ratio should not be neglected, if it's reasonable to compress the file.
A similar thing happens with the
Most probably the
Other auxiliary files are not gzipped as they are smaller in size and need to be read quickly during compilation (the