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