It seems like it'd be saner to have Copy, and Copy and Preserve Formatting. But I guess the Copy, Alt-Tab, Paste, ah what the fuck!, Undo, Paste without Formatt

It seems like it'd be saner to have Copy, and Copy and Preserve Formatting. But I guess the Copy, Alt-Tab, Paste, ah what the fuck!, Undo, Paste without Formatting spares a few steps. To counter your first use case, if I'm copy-pasting the second word (say it's a complicated name) of a heading to reuse in a paragraph, I don't want that paragraph to be another heading. In another universe, the geniuses who coded the editor realized that "no one will ever want a word in the middle of the paragraph to be in a different font, in a different color and with a different background color because they copied it like that from a website with that formatting".