Anybody notice that the gnome-shell-3.0.2-1 update cancels the effects of: -gnome-shell-extensions-drive-menu -gnome-shell-extensions-alternative-status-menu Does this mean that each update of gnome-shell also makes updating the extensions necessary? Alexander