Set auto-highlight-symbol idle delay from 0.5s to 0.25s