Maybe it falls under the "Various hobby/alternative OSes up to some very recent ones" category. I'm not going to download a one hundred gigabyte file to find out though...

I knoow right?! Wonder how much bandwidth they user per month and how much it costs them.