Not urgent, but here is some docs, and wanted to close my browser tabs: https://gitlab.gnome.org/GNOME/vte/-/issues/23 https://github.com/xtermjs/xterm.js/issues/2570 https://github.com/microsoft/terminal/pull/1978
