Today (2016-08-07) we will deploy a few minor updates of the website. The deployment will update our support system and should not cause any disturbance for our users.
In the unlikely event of someone experiencing any issues, please send a message to: firstname.lastname@example.org
-- UPDATE 2.47 P.M ---
The deployment is now finished and was completed without issues.