Rename "Use Privoxy"
Torbutton currently default to "Use Privoxy" meaning configure for a local proxy. We should rename this option to something else, like "Use HTTP Proxy" or "Use secure proxy". As we phase out privoxy, this option is named incorrectly.
[Automatically added by flyspray2trac: Operating System: All]