The text 5bc80e81c1b9, as Debian 10 (Buster) shipped it.
custom HTTP headers to pass to proxy
CURLOPT_PROXYHEADER(3) on Linux now