gnutls_psk_free_server_credentials(3) on Linux

The text 6151a095b2b8, as Arch Linux 2026-11-01 shipped it. The page shows this text now.

API function

gnutls_psk_free_server_credentials(3) on Linux now