[Debian-on-mobile-maintainers] Bug#1017015: gnome-console: bugs after switch to GTK4

[Jeremy Bicha]

Control: retitle -1 gnome-console: copying won't work if end of line is selected

I intend to lower the severity of this bug to Important once gtk4
migrates to Testing

The Ctrl+Shift bug is fixed in gtk4; the open link bug was fixed in
vte2.91. That only leaves one significant known issue which can be
worked around.

Thank you,
Jeremy Bicha