Re: [tor-dev] "identity digest" and "hash of a router's identity key"