THE Torbutton clean-up
That is the parent ticket for all things Torbutton clean-up, now that we included it into
tor-browser. It's not clear yet how we'll be restructuring it but it's clear that a lot of old cruft has to go. This will be done in child tickets.