Old torbutton + torlauncher prefs cleanup
With the torbutton and torlauncher cleanup, we could need to delete user preferences that aren't used anymore and could leak old habits.
With the torbutton and torlauncher cleanup, we could need to delete user preferences that aren't used anymore and could leak old habits.