Re: GNOME main menu sorting