Docs: fix naming of the ldap_default_servers option