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