Interface/Sitenotice

Dear wiki users. We are planning to Upgrade the mediawiki to the latest LTS version. Therefore the wiki will be unavailable from July 25th 10:00 GMT and will be back as soon as it is done :)