The text 77fed473f42c, as Debian 10 (Buster) shipped it.
set preferred DNS servers
CURLOPT_DNS_SERVERS(3) on Linux now
