Is there something similar like "Torbutton" FF plugin for the Internet Explorer ? Or do I really have to change manually proxy settings each time I want to switch from "Tor enabled" to "Tor disabled" mode? Ben