(spec discussed with rich)
Https proxy should be enabled only when http proxy is enabled.
When http proxy is disabled, the https proxy should be automatically disabled.