chiark / gitweb /
manager: be more precise in message about restart