The text eb9a4c5cca12, as Debian 13 (Trixie) shipped it.
API function
gnutls_srtp_get_mki(3) on Linux now
