It has been unreachable for about 30 minutes now.
This is not the usual time for maintenances, and those usually last around 15 minutes, therefore I suspect that something went wrong...

Update: server came back right after I posted this, but that was definitely not normal.