Decide what to do with torrc
I've been told that during the tor-launcher days, torrc
was the actual backend for settings.
We've used the preferences for a long time now, and we don't really need to keep torrc
updated.
Should we just stop using it? Are users secretly customizing their settings in this way?
If we do it, we can also dump the flushSettings
command.
We have an issue also for torrc-defaults
(#42357).
/cc @richard