GitHub repository: tomflannaghan/proxy-switcher
Primary language: JavaScript
Description: A Gnome Shell Extension to switch the proxy mode.