It's going to be a seperate DL for each version so people don't have to DL 10 or so just to get 1.
So far, in rar but unbinarized it's about 4mb depending on the version.
I can't say how much that will grow. I'm trying to keep it down...
but I'd like to think that the dl would be worth it