What happened with this? It seems like the name chosen in this poll was BitDNS, but the only current running DNS project is Namecoin.