My main takeaway is that Tor is introducing a new domain names suffix: .tor.onion

For information, there was a similar initiative by Namecoin with .bit.onion: https://www.namecoin.org/docs/tor-resolution/ncprop279/stemn...