curl_easy_setopt.3: Add another non-matching hostname

For the avoidance of doubt, show a domain which contains the no-proxy
pattern but not at the top level.