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