“Algorand’s name service for buying, selling, and managing .algo domains.”