Good news! This bug is now fixed. The download is now an actual gzipped file. Please note that some platforms (e.g. Safari on MacOS), automatically uncompress this file to a .tar file when you download it.
5 Likes