Thanks Remi for the quick reply. Hmmm, my mileage is really varying here :-) In VLC 3.0.6 (built from from source on Linux Mint 19 Cinnamon GUI [Ubuntu-based] ), I don't have "System" in the VLC menu bar, If you actually mean my whole system configuration, my proxy environment variables fo...