chiark / gitweb /
manager: rename 'maintenance' state to 'failed' to avoid user confusion