Even when Tor is disabled via Torbutton, Torbutton repeatedly changes Firefox settings in such a way that I can't browse to port 8123, which is the default port for Polipo. I would really like to use the browser to see Polipo's manual, so this is to protest against this feature of Torbutton. Jack Waugh