chiark / gitweb /
shutdown: rework messages during shutdown