chiark / gitweb /
site: When if our MSG5s (or peer's MSG6s) get lost, preserve the key