I have a laptop computer and connect to the Internet from different places different ways (LAN, WiFi, ADSL).
Sometimes I'm working in a network behind the firewall, so I have no direct Internet connection, but only via proxy server.
Unfortunately, I cannot find, where in PixInsight can I enter proxy server name and port.