diminish hi-lock-mode in highlight-symbol-mode