Open
Description
It would be helpful if the download_file function could automatically detect and use standard proxy environment variables such as HTTP_PROXY, HTTPS_PROXY, NO_PROXY and their lowercase variants (http_proxy, https_proxy, no_proxy). This behavior is common in many HTTP client libraries (like curl, wget, and reqwest), and would improve developer ergonomics when running tools in environments with corporate or local proxies.