bug#9432: 24.0.50; doc string of `next-error-highlight'

[Drew Adams]

> I'd argue that such use-case is sufficiently rare that we 
> shouldn't base the default on it.

1+ 
You put it more succinctly than I.