So I download thinbasic_1.9.0.0.zip (12,865KB)
It unzips to thinbasic_1.9.0.0.exe (12,885KB) which I execute.

Now, you could say, "Why zip?" "Why not just download the *.exe?"

But, where does upx come in?