The text ed5fc21e441a, as macOS 13.0 shipped it.
DNS servers to use
CURLOPT_DNS_SERVERS(3) on macOS now
