- Change gnome-shell-favourite-apps-firefox.patch to also patch the JS code to handle the transition from mozilla-firefox.desktop to firefox.desktop. (#808894, reported by Jonathan Kamens)
Starting with firefox-7.0.1-3.fc17, the desktop file was renamed from mozilla-firefox.desktop -> firefox.desktop. https://bugzilla.redhat.com/show_bug.cgi?id=736558
https://bugzilla.gnome.org/show_bug.cgi?id=650616