TIL about Ctrl-Shift-C and Ctrl-Shift-V to copy and paste in Gnome Terminal.

*****
Written on