The text c44ec6c6841c, as Debian 12 (Bookworm) shipped it.
API function
gnutls_pubkey_set_spki(3) on Linux now
