970adc5784
note: this update re-enables the "unified new-terminal" menu. it can be disabled with the following command to revert to our (but not upstreams) default behaviour: gsettings set org.gnome.Terminal.Legacy.Settings unified-menu false