Patched and restarted. No problems!
On Thursday June 17, at 14:00, the web hotel will be restarted. The downtime is estimated to be less than 15 minutes.
We are preparing the system for the summer season, when we are avoiding major changes — but WordPress themes and plugins will still be ruthlessly and automatically updated every night.