Now I'm left wondering as to why the OP hasn't been properly updated to reflect the changes.
If the old .gif version is now practically obsolete and replaced by a pre-patched .webm version that is overall just smaller, endless questions as to what should be downloaded (though it is funny to read) could just be avoided entirely by straight-up removing the obsolete links instead.
I also have to add that to me the word "compressed" carries the connotation of the download losing in quality to a harsh degree, especially when it's cut down to 1/10th of its original size. Not really helped by the fact it's the download link at the very bottom. That's some spot for confusion right there, as the main download link that people are supposed to grab is the very top one 90% of the time.
On a sidenote - it would be great to provide download links from providers that aren't slow as shit like Racaty and Anonfile. NOPY is kind of a hit-or-miss situation for me, it either loads with no limitations or just breaks up every minute after being slowed below 50kbit/s. MEGA and GDrive are generally used for their high speed downloads as an alternative to those for that reason and with the filesize dropped to a manageable level, it's not like the 5GB limitation of MEGA is an issue there.
Regardless: Still nice to see that this game actually is remaining in active development. I was more or less under the impression it has been halted.