If I revert to the edgy versions of `libvte9' and `libvte-common' (i.e. the 1:0.14.1-0ubuntu1 versions), everything seems to be fine again. -- gnome-terminal reacting very sluggishly https://launchpad.net/bugs/85575