On November 7th, between 9 p.m. and 11 p.m. (CET), routine maintenance will be performed on the servers.
In particular, the current version of Mariadb will be updated. During this period there may be momentary and isolated disruptions to the database lasting about 15 minutes.