The gnome-shell-extensions package is a meta-package recommending
subpackages for separate installation.