Switching Windows proxy settings by clicking through the GUI is surprisingly tedious. Especially because of the specification where 'Automatic proxy setup' and 'Manual proxy setup' work exclusively, ...