remove highlight-symbol.el