Auto Proxy depending on network.md
(posted 2024.03.15, last updated 2024.03.19)

If plugged in to the company network (or connected via VPN), my mobile workstation should automatically configure a proxy.