Ctrl-Ins/Shift-Ins hotkeys added for copy/paste.