chiark / gitweb /
server: rename Client