Re: Rethinking of global menu on Gnome Shell