I don't really know why curl treats this as anything but a standard HTTP header (with `CURLOPT_USERAGENT`). Can we please change this to `add_default_header()`, alongside `get_default_headers()`?