chiark / gitweb /
remove ssh-agent-shell, no longer used