Query http://bugzilla.gnome.org for open bugs on the "gnome-terminal" 
product. (Note, _product_ not component.)
