gnutls_certificate_verification_profile_get_name(3) on Linux

The text 44709e1fbca8, as Debian 13 (Trixie) shipped it.

API function

gnutls_certificate_verification_profile_get_name(3) on Linux now