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