Keep highlight-symbol-mode on by default