Michael, thank you for your work on that, the log shows a libvte bug, you don't have libvte9-dbgsym installed though, could you try to get one with it? -- [apport] GNOME Terminal Unicode SIGSEGV https://launchpad.net/bugs/89524