The text 1a860a71d33b, as Debian 11 (Bullseye) shipped it.
API function
gnutls_server_name_set(3) on Linux now
