The text 72d2420faaa6, as Debian 10 (Buster) shipped it.
set pinned public key for https proxy
CURLOPT_PROXY_PINNEDPUBLICKEY(3) on Linux now
