Which packages are patched so that GNOME reads gnome-applications.menu rather than applications.menu? I have found patches that replace references to applications.menu with gnome-applications.menu in gnome-menus_2.12.0-2.1.diff.gz and gnome-panel_2.12.3-1.diff.gz. What other packages are patched like that? Thanks, Ariszlo