Set auto-highlight-symbol delay to 0.5s instead of crazy 0.01s