So, being frustrated with a firefox addons copy not showing up with shift+ins in gnome-terminal I decided to switch gnome-terminal paste shortcut to shift+ins.
Are there any known bugs with doing this? I’ve only done some quick tests and seem to always get the clipboard info I’m expecting.

edit: Thanks to @lemmyng@lemmy.ca I now know about gpaste and use that to sync primary and selection both ways.