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