Well, I got it. It's the same (or at least same MD5...) as the one I got earlier. And it downloads fast, though I didn't catch where from (too overjoyed at finally getting there).

Lesson #1: DON'T invite the whole world to jump on you.
Lesson #2: When you invite the whole world to jump on you, DON'T use server-side scripting!