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.