Folks, we're having serious issues with jspwiki.org DNS right now. I'm currently switching DNS providers, but it'll take a while before they're propagated everywhere. Thank you for your patience.
(Incidentally, my emails are also affected, so I can't be reached via the usual means; have to use this clumsy gmail thing.) /Janne
