Hey @Maxfield,
That is interesting to know thanks, I have been thinking about a workaround for this but it won’t be a quick or easy change to make. If your proxy is using squid though it will support https_proxy which will work and is supported by a few browsers like Firefox and Chrome but the browsers don’t really matter as your users would continue to use the existing http_proxy.