Seeing at a glance which extensions are installed is surely useful, so add a corresponding command. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234