gnutls_server_name_get(3) on Linux

The text ea41acdedb20, as Debian 4.0 (Etch) shipped it.

Used to get the server name indicator send by a client

gnutls_server_name_get(3) on Linux now