[tor-dev] Tor and Namecoin