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