Yes and Holepunch team didn't invent or maintain Mainline...they have an entire whole other DHT. And we only use Mainline to map keys to web servers, then you proceed like you do after you find the IP address from DNS. No p2p swarming, no Hypercores or even Torrent. Just http, simpler even than websocket and nostr events. If you know Fetch API you know pubky