Tor Launcher

We might want to (or have to) switch from Vidalia to the new Tor Launcher browser extension at some point. Let’s evaluate this.

• Mike Perry’s answer on tails-dev (2013-04-02)
• ticket 6009
• Git repository

Related issues

• Related to #6371 (closed)
• Related to #5920 (closed)
• Related to #6840 (closed)

Original created by @tails on 5343 (Redmine)