Mark : Highlight several words in different colors simultaneously (Ingo Karkat)