bugbug18403
Next...
(1)Some green text
(2)Some red text, which can't be highlighted by the mouse
(3)Some text that should be red, but isn't