Add some documentation on https?_proxy + no_proxy.