Users have brought to our attention a problem with the new BZIP2-compressed files. It appears that Winzip (versions through 16.0) cannot successfully decompress these files (despite claims to support the format). 7-zip (versions through 9.20) has no such problems, but we are looking into other [...]