Proxy settings for package.el