curl_easy_setopt.3: clarify that TIMEOUT and TIMEOUT_MS set the same value