@Reisen Among other things, it’s useful in terminals where the standard ctrl-c/ctrl-v send a control signal rather than copy/paste. Most terminals nowadays have some other copy/paste shortcut so it’s less important now, but a lot of us still find it convenient.