michael on Nostr: whenever a hostname has to be translated into an IP, DNS is involved.whenever a hostname has to be translated into an IP, DNS is involved.