Note Editor: pasting highlighted text changes the highlight color

To reproduce:

1. Copy text with highlight in note editor
2. Paste in note editor

See below. The first line is highlighted using the toolbar highlight menu; the second line is pasted with a darker color.