gnutls_prf(3) on Linux

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

API function

gnutls_prf(3) on Linux now