Regarding space, I should remind you all the space is ALWAYS an issue.
Downloading 1.2GB can take a long time for people with slow internet
connections, or people who pay per byte.
It might not be a problem for you personally, but it does affect more
people. I think we should try to reduce the initial download size, instead
of saying "it's not a problem".
True, CDs are a thing of the past, but slow or outrageously priced internet
connections still aren't.