This instance is about to be moved to a different host, which will cause a few minutes of downtime. I will try to do it starting 3p CET and it should not take much longer than half an hour (ideally it will be faster).