The purpose of these settings was to show a green TorButton button in
the toolbar. Since this button is now hidden these settings can be
removed.

Will-fix: #8893