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