Proxy related set of patches

It is much easier to uncheck "Use Proxy" check box than edit proxy server name or port.
Other changes are clearly described in the commit titles.