Merge remote-tracking branch 'origin/bugfix/update-gnome-shell-extensions-list' into devel

Fix-committed: #10842

config/chroot_local-includes/etc/dconf/db/local.d/00_Tails_defaults

@@ -85,5 +85,5 @@ antialiasing = 'rgba'
 hinting = 'slight'
 
 [org/gnome/shell]
-enabled-extensions = ['alternative-status-menu@gnome-shell-extensions.gcampax.github.com', 'topIcons@adel.gadllah@gmail.com', 'shutdown-helper@tails.boum.org']
+enabled-extensions = ['apps-menu@gnome-shell-extensions.gcampax.github.com', 'window-list@gnome-shell-extensions.gcampax.github.com', 'topIcons@adel.gadllah@gmail.com', 'shutdown-helper@tails.boum.org']
 favorite-apps=['tor-browser.desktop', 'icedove.desktop', 'pidgin.desktop', 'keepassx.desktop', 'gnome-terminal.desktop']