[orev]

Having mouse paste as an option doesn’t remove the fact that keyboard paste is also an option, so that’s really immaterial to the topic.