GNOME specific Bugzilla extensions used at bugzilla-new.gnome.org