Eww, that's very unfortunate. Well, so much for a cross-os copy-paste shortcut.