I take advantage of GNOME Terminal, largely as a result of it’s my distribution’s default. But what occurs inside my terminal is...