chiark / gitweb /
implement close command (!)