Après son VPN, Surfshark lance un outil gratuit pour changer ses DNS