A proxy switcher for Gnome Shell