I downloaded the (huge!) MKV, thanks to zxthehedgehog and Handman. Being a video editor with some compression tools, I compressed it from 22 GB down to 6, with minimal visual loss. I can upload this somewhere if anyone is interested in a more compact version.
Your 6GB version would fit on a DVD9, so that’s nice, but 22GB isn’t really all that big, and honestly it’s pretty necessary to have a file of that size to get all those tiny details, generally. I’d be interested in seeing some screenshot comparisons between the two versions, if you’d be willing to make some.