A tool for configuring proxies in Firefox