A Gnome Shell Extension to switch the proxy mode.