Problem fixed, I can edit the download page again... (I don't know why it was broken in the first place, and I don't know what has been done to fix it)

Jaap