Download not working. Is there a mirror?
Weird...tried again an hour later and success.
If anyone's interested, the download size is 356 MB.
