Re: [tor-dev] The consequences of key compromise (or the reasons for changing)