Is there a plug-in for Chromium to activate and deactivate Tor? I've found plug-ins to manage HTTP proxies, but not SOCKS5.