{ "name": "Tor Control", "description": "Change Tor identity from the GNOME Shell panel", "shell-version": [ "3.14" ], "url": "https://github.com/fqxp/gnome-shell-extension-tor", "uuid": "tor@gnome-shell-extension.fqxp.de", "version": 1 }