These files have been zipped up to take up less disk space so they take less time to download.

这些文件已被压缩以占用更少的磁盘空间，这样它们需要更短的时间下载。