A launcher for the Tor Browser for GNU/Linux