Umschalten der Proxy Einstellung

Für die Versionen 1.0.x gab es die Erweiterung "SwitchProxy Tool 1.3.2". Damit liesen sich die Proxy-Einstellungen ganz einfach umschalten. Diese Erweiterung läuft aber mit der Version 1.5 nicht mehr.
Kennt jemand ein ähnliches Tool das auch mit der Version 1.5 kompatibel ist?
Oder gibt es eine andere Möglichkeit zum umschalten ohne jedes mal umständlich die Einstellung unter "Extras" zu ändern?

DANKE! Ich hab die 1.3.4 runtergeladen und mit der gehts.