The wiki doesn't seem to say how to disable sources in favor of a single server

[ell1e]

Sorry if I'm just missing the right section, but the wiki doesn't seem to say how to disable sources in favor of a single server:

https://github.com/DNSCrypt/dnscrypt-proxy/wiki/Configuration-Sources

It tries to sell sources to me as a use case, which is fine, I'm sure many find it useful:

Instead of manually adding servers to the static section, these can be read from lists. Human-readable lists, with nice descriptions, and the corresponding stamps. [...] First, you don't have to manually enter names and stamps any more. In fact, the [static] section is generally useless unless you run your own servers.

However, what if I want to use the static section? There are very good reasons for doing so, the most obvious being that if I want to use DNS-over-HTTPS, I probably want to trust a specific provider and not some random list where I don't know who is making it, who the providers are, and who I am going to be trusting with my DNS data.

Should I simply add # in front of all the [Sources] parts, or is there a switch? But that won't remove the already downloaded cache files I assume, is that a problem...? A single switch would be more obvious.

I guess this use case could also be achieved via these lists if I could just pick an entry from them, but the wiki just offers the opposite, blacklisting individual entries:

disabled_server_names = ['galland', 'galland-ipv6']

Hence, it is unclear to me how I'm quickly meant to switch this whole setup to just use the one single vendor I want to use. (Yes, I understand if that vendor has an outage that means I have no DNS. It's a trade-off of security vs. availability that I think every user has to make for themself.)

Perhaps this info might be placed well as a separate section here, something like "Single DNS-over-HTTPS server" as a use case:

[ell1e]

Nevermind, after a reread I guess I just have to set server_names ...? I'll close this then.