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