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