When someone is tempted to cut this
occurrence by pressing Ctrl-K, instead of spotted text, the whole line is cut.
Is
there something we can improve further?
I don't know. Any suggestions? I've tried adding italic, but that doesn't
look nice: the last letter in the selection tends to get clipped.
Or maybe the default for selected text should become without a background
color, say "italic,orange"? The spotlight color needs to have a background
color, otherwise it is too hard to spot. But when selecting text, you know
what you're doing, your eyes are on the cursor already, so you just need a
relatively small contrast between selected and unselected text.