Requests to ``ews.netgate.com`` do not honor proxy configuration
Our firewall rejects requests to ews.netgate.com, and we have configured a proxy in pfsense via "System -> Advanced -> Miscellaneous". The proxy does work and we see requests to files00.netgate.com going through the proxy. But (at least) whenever we open pkg_mgr_install.php?id=firmware we also see an unproxied request to ews.netgate.com.
Doing a quick grep for ews.netgate.com yields https://github.com/pfsense/pfsense/blob/5e3df7f44bc95dd33eb375e54b6120fbfee05724/src/etc/inc/pkg-utils.inc#L1613-L1629 among others and that does not seem to use a proxy (CURLOPT_PROXY missing?).