gnutls_deinit(3) on Linux

The text 6d7bee1c5a0d, as Debian 13 (Trixie) shipped it.

API function

gnutls_deinit(3) on Linux now