Per #807, adding config setting for HTTP proxies