Could we use something better than zip for the dmd package?

[jerro]

> In addition, some people don't have rights to install new software on 
> their system or bring it from home on an USB stick. 

They can use this: http://portableapps.com/apps/utilities/7-zip_portable ,
no need to install anything. If they don't have rights to their own executables, they can't use dmd anyway. 

> I don't think 
> there's anything wrong in using .zip even if it's larger than .7z.

I agree with that. 20MB is not that much to download.