gnutls_certificate_verification_profile_get_name(3) on Linux

The text e3c7902aecf1, as Debian 12 (Bookworm) shipped it.

API function

gnutls_certificate_verification_profile_get_name(3) on Linux now