And for anyone else who is annoyed by the problem and finds your patch. I don’t happen to use a terminal emulator that relies on libvte, but I do appreciate finding patches for the problems I encounter. Thank you!