The wiki is available again. Yay!

All thanks go to wthww, who recovered as much as possible from before/during the infrastructure interruptions.