Sadly this site became victim of a hacker attack. We only noticed this during the past 24 hours but it might have happened as early as on the 2nd of March (without immediately noticeable effects).
If you are a registered user on this site, please do the following immediately:
- Change your password on this site immediately to something completely new.
- Check if you use the password you used here anywhere else (that’s something you never should do anyways). If you did change the password in all affected places, too, and change your behavior about re-using passwords immediately – it’s not healthy.
We now are reverting to normal operation. All internals have been updated to the very latest releases, hopefully fixing any implied security problems.