Yes pubky uses Mainline in the same way Nostr uses ICANN rott DNS server. That is not p2p swarming etc, this is just a better DNS, the rest is HTTP And Holepunch team do NOT maintain any of this, Mainline DHT has 10s if not 100s of implementations