"""Server-maintenance control panel."""