I think there should be an additional keyboard map option: Paste Removes Mark.
Currently, when I copy something, double-click to select a word/term and then paste, there is still a selection remaining. This is rather annoying and incongruent with other popular editors. I believe this option should be kept separate from the similar Cut/Copy Removes Mark option.
Thank you for listening.
