Feel free to leave instructions for people with similiar problems in the future. However, I was not aware of any problem happening with other people.
I'm curious if it's a problem that you alone are experiencing.
If you could figure out why it needs such a workaround that might help, and maybe I could fix it not to be a problem.




. It's back up now. If you ever have problems downloading in the future feel free to use these mirror links (added to the frontpage too):
