The text 73a82df25d46, as Debian 10 (Buster) shipped it.
API function
gnutls_db_set_remove_function(3) on Linux now
