Documentation fix for gnutls_* options. Fixes: #913