We have been informed by the hosting provider that they are performing server upgrades.
These will start on Monday 3 July at 23:00 CET.
They are planning on moving us to a new a faster better server.
I’m not sure how that will affect us in real time, but if you come to the site at the end of this weekend or early next week and it’s not responding, it will be back just as soon as the various DNS things propagate throughout the network.