The text f1de4c2fcfe1, as Debian 10 (Buster) shipped it.
API function
gnutls_pubkey_import_privkey(3) on Linux now
