Я недавно обновился до Ubuntu 12.04, и все расширения оболочки gnome, перечисленные с помощью инструмента Gnome Tweak, отключены. Какой самый простой способ исправить / обновить их? Нужно ли удалять, загружать и устанавливать их вручную?