Adds handy proxy/proxyoff functions to beat the corporate firewall