The text 7f117e077475, as Debian 10 (Buster) shipped it.
port number the proxy listens on
CURLOPT_PROXYPORT(3) on Linux now
