[GNOME] Actualització del gnome-main-menu