Yes, I actually rely on mouse paste and Ctrl+V being independent clipboards (though usually clipboard managers offer to synchronize them, which I've never tried

Yes, I actually rely on mouse paste and Ctrl+V being independent clipboards (though usually clipboard managers offer to synchronize them, which I've never tried, so I can't say if it works flawlessly, and I can imagine glitches here). Edit: https://unix.stackexchange.com/questions/139191/whats-the-difference-between-primary-selection-and-clipboard-buffer https://unix.stackexchange.com/questions/139191/whats-the-di...