Just wanted to ask if the preference of which DNS service to use (e.g. the regular DNS vs DNS-over-HTTPS) is documented somewhere? To me it would seem logical to use regular DNS to resolve the DNS-over-HTTPS hostname and use DOH afterwards, but not sure if that's really how it works (and I don't have the time to trial & error). Also wanted to understand if there are any options for fallback (e.g. use regular DNS if DOH fails)?