A simple proxy switcher for Linux Mint or Ubuntu.