gnutls_bye(3) on Linux

The text 8bbfe2d30d86, as Debian 13 (Trixie) shipped it.

API function

gnutls_bye(3) on Linux now