Torbutton prefs are confusing and unnecessary
The Torbutton extension has many legacy preferences that are confusing to users and unnecessary now that there is a configuration wizard. Unless there is a strong reason not to, I think we should remove this extra UI cruft.