Is there an extension accompanying highlighter ? Can somebody point me to it? I can’t find it.