chiark / gitweb /
shutdown: reword a few messages a little