Hi, so I don't really know where else to ask this question. This seemed like the best place. I like what I see on the website for the most part, but I was just wondering, how large is the actual iso once it's unarchived? I just thought I'd ask instead of downloading it myself because honestly I feel like I might find out by asking more quickly than the time it would take to download and unarchive.