gnome-terminal titles, #202