I started a download of that quite some time ago. I had to reboot, or something like that, so I hit pause. I never hit the resume button and never finished the download. At the time, I think they only had the giant download that was hundreds of gigabytes in size.
Yeah, they didn't have the smaller download back when I checked it out. Someone linked it on HN back when Flash was finally being officially kicked to the curb. It's good to see they've got a smaller version now.