CURLOPT_DNS_LOCAL_IP4.3: better short desc
curl_easy_setopt.3: shorten

shorten descriptions, mostly refer to the separate descriptions