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