The text 54f9c86f72f3, as Debian 13 (Trixie) shipped it.
API function
gnutls_pkcs11_token_set_pin(3) on Linux now
