Re: [tor-dev] Tor and Namecoin