Re: [tor-dev] Experimental Namecoin naming for Tor