A tiny tool to quickly switch proxy settings instead of open Preferences