BTW, I did my upgrade from a running gnome-terminal, and after the upgrade I just opened the tabs to see if the effect is still present, and it wasn't, without restarting gnome, gnome-terminal or anything else, in case this is relevant.