Hello all,
As you might have noticed the wiki has been offline for some time.
The configuration file for the wiki got deleted but no data was lost.
I have created a new configuration file based on a (very old) backup.
The wiki should be fully functional again.
If you notice anything strange, please report it here.