I have uploaded a new zip to googlegroups. But I see now that the
files service does not send proper file size headers for download,
which is another good reason for not using the googlegroups files
service for downloads (they also don't accept exe files). We'll switch
to
download.com as primary download location.
/Staffan