This is \highlight{highlighted} text.
This is \highlight[id=EK]{highlighted} text too.
This is more \highlight[id=EK, comment={Good one.}]{highlighted} text.
This is the last \highlight[comment=remember]{highlighted} text.
