chiark / gitweb /
Stub + document shutdown command