Update: The maintenance is complete. A faulty hard drive was replaced.
A quick reminder: We are going to have a scheduled
hardware maintenance in 15 minutes, involving a short downtime. I cannot say how long it will take as tech personal will have to investigate a damaged hard drive. Holding my thumbs.