* patch shaping: rename patches and include there bugzilla id
  where available; document bzXXX-dont-reset-user-prefs-on-upgrade and
  force-no-pragma-visibility-for-gcc-4.2_4.3 patches.
* debian/patches/bz389801-theme-crash-with-GtkOptionMenu-indicator_size-and-indicator_spacing.patch:
  prefetch latest patch from bugzilla 389801 to fix top-crasher
  (LP: #129007).
* debian/firefox-gnome-support.install: properly install gnome support files
  previously missing in firefox-gnome-support package (LP: #131743).