Same thinking, tks. IMO, this should have been the default behavior for any OS, with another dedicated hotkey to paste
with formatting.
I'm going to implement this for Windows at least, as a part of the tool I maintain (https://github.com/postprintum/devcomrade). I plan to use Windows Clipboard API to strip the rich formatting in-place, as it gets copied into the clipboard. Then it can be pasted using whatever the default hotkey or UI is.
Does it sound reasonable?