GitHub repository: red1033/gnome-shell-extension-extensions
Primary language: JavaScript
Description: gnome shell extension to enable/disable extension easily via a panel menu