[Too]

I think that's supposed to be download.php, not index.php. At least that's what I've experienced. (this was several years ago btw)

[cryptoz]

Hm, maybe it was download.php. Now I'm not sure.

[devcpp]

Both work for me.

[cryptoz]

Well, yes. I think this particular censorship was in place over a decade ago and I doubt it's still active.