Re: [tor-dev] HS desc replay protection and ed25519 malleability