highlight search disabled (plugin does that now)