Yes Rob you’re right, it works when you copy glue HTML elements inside pinegrow (from pinegrow to pinegrow) (this keeps the HTML from the clipboard).
However, When you copy HTML to your browser and paste it into pinegrow, you lose HTML from the clipboard.
When you copy HTML on the web, there are two things stored in the clipboard: the raw text, and, HTML.
It would be nice to: paste raw text and HTML. And not just raw text.
Normally, the logical behavior would be: paste the HTML, and if cmd + SHIFT + V is pressed, paste the raw text. In most publishers it’s like that.
thank you