When I look at the sizes of everything in my arduino-source file, it looks like this:
So. There's less than 15MB of source code, including all the images required. Okay, that's great. There's 85MB of built stuff. Okay, I know executables take up a bit of space. But then I look at the biggest part -- 980 MB just for the .git folder? That's just crazy. When I download the arduino source to patch it, I don't need 7 years' worth of history to come along with it, especially since it is by far the biggest file in my /home directory.
I'm not sure how to do it (perhaps start a new repo and only include things <1 year old), but that .git directory needs to shrink.