chiark / gitweb /
Shore up the `grand' protocol.