[nicoburns]

As a cli user, this is a big positive for me. I can use ctrl-c for "terminate program", while cmd-c continues to work for copy.

[kitsunesoba]

This is a regular frustration for me under Linux. The shortcuts for Cut/Copy/Paste feel so standardized that changing them in one particular instance feels like having the functions of the brake pedal and trunk lever being swapped only while driving on a particular road.