chiark / gitweb /
keyexch: Simplify key-exchange protocol.