Any update on some distributed names resolution for tor? At some point there seemed to be a chance for namecoin to handle this.