I missed this when it was first announced. Does anyone know if the Tor Browser by the Tor folks has this built in or available as an option? Or whether the Tor developers themselves have thoughts on using .onion based DNS Servers?