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