Re: next-error-highlight = t - highlighting doesn't stay untilyoumoveto the next locus

[Richard Stallman]

    >> implementing the behavior of "until next time" as another
    >> option, and assigning two values for `next-error-highlight'
    >> to stand for the two?

    That can probably wait till after the release; it is, after all, a new
    feature.

I would call it a bug fix, since the code does not match the
documentation.  However, most people seem to prefer the current
behavior.  So I agree that changing the doc is a good fix
for the bug.

Would someone please do that?