The text 9e844d93f75e, as Debian 10 (Buster) shipped it.
API function
gnutls_srp_set_prime_bits(3) on Linux now
