Added comment about HTTPS proxy setting.