gnutls_certificate_verification_profile_get_id(3) on Linux

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

API function

gnutls_certificate_verification_profile_get_id(3) on Linux now