Update: The operating system update is completed and the server is up again.
We are going to update the server operating system of stendhalgame.org today.
If everything goes according to plan, there will be a short downtime of less than half an hour around 21:00 server time.