Re: [tor-dev] Tor's default behavior for ed25519 identities