remove highlight-tail.

It is too old and never used.
highlight: using highlight-symbol.