Re: [Off-topic?] Fedora & gnome-main-menu