Compression formats for kernel.org

As then everybody who was downloading the bz2 versions would be downloading the gz versions instead, which means you're actually serving more data. It's cheaper to throw extra storage at your server just once than it is to continuously be serving more data.