Update highlight-symbol extension