It's maybe more memorable to use /maintenance for the admin UI URL and servermaintenance here?