The text ef2b9837beb1, as Debian 10 (Buster) shipped it.
API function
gnutls_psk_server_get_username(3) on Linux now
