tool to enable / disable GNOME Shell extensions

 This package contains a tool which users who use Shell extensions can use to
 toggle them on and off, and access their preferences.