[openFATE 306895] Gnome-main-menu improvements