On Wednesday, 21 December 2011 at 23:34:39 UTC, Andrei Alexandrescu wrote: > I just downloaded and re-compressed everything with 7zip, the > reduction was not spectacular at all - from 21.8MB to 17.3MB. Bwuh? I'm seeing a reduction to 11.6MB (10.5 with ultra compression).