Add note to no_proxy configuration setting to mention that it is only for webkit.