Server crash

In a streak of bad luck and bad timing, a number of hard disks died on us; as a result our web server went down irrevocably, and more importantly a lot of content was lost. The new version of the site we were testing during the past weeks was never meant to be… If we learnt something from this, it is that regular backups should always be taken, no matter what.

Our site is going to be down for a few days till we set up a new server. Part of the site / content will be restored from (quite) older backups.