Eh, but the DNS server isn't necessarily the same as the bootstrapping server for the WebRTC API, and in most cases it generally would not be.