The text 6d72eade2f6e, as Debian 13 (Trixie) shipped it.
get a push header by name
curl_pushheader_byname(3) on Linux now
