Do they? It seems anyone can register any username, you just have to pay. "Hodlonaut" is still available on any of the other 4 domains they offer.