in reply to daniel:// stenberg://

don't, honestly. Realistically, the sizes don't matter for human downloaders (also not on the server side, most downloads probably are automated, and will probably be .tar.something), so adding more formats doesn't seem worth the effort. ZIP has one, and honestly, one advantage for Windows users: unlike .tar.xz it can be decompressed with board utilities, but what's the point in that? You end up with a source tarball, and then you install a toolchain that *almost certainly* includes tar.