Managing encrypted DNS connections (DNS over TLS, DNS over HTTPS) with Circle