Rules for maintenance mode
The new maintenance mode is a great idea, but it would be better if it was possible to enable it with specific rules, for example, we could set:
$groups !~ /\badmins\b/
so users get the maintenance message, but members of the admins group can upgrade the app and check everything is OK before removing the maintenance mode.