Re: [tor-dev] Proposal 220 (revised): Migrate server identity keys to Ed25519