Subject: bug#51444: One issue in NEWS

From: Eli Zaretskii <[email-masked]>
Date: Wed, 27 Oct 2021 21:30:10 +0300

> From: Juri Linkov <[email-masked]>
> Date: Wed, 27 Oct 2021 20:27:22 +0300
> 
> Currently I'm reading NEWS.28 and noticed this section marked by
> +++ as documented in the manual:
> 
>   +++
>   ** New user option 'next-error-message-highlight'.
>   In addition to a fringe arrow, 'next-error' error may now optionally
>   highlight the current error message in the 'next-error' buffer.
>   This user option can be also customized to keep highlighting on all
>   visited errors, so you can have an overview what errors were already visited.
> 
> But the source of the manual has only these two lines:
> 
>   @findex next-error-message
>   @vindex next-error-message-highlight
> 
> 'next-error-message' is a face and can be removed from the index.
> But 'next-error-message-highlight' is a user option, and when
> the reader selects it from the Info index, its page says nothing
> about this option.  This patch fills the gap:

Does that option need to be documented in the manual?  It sounds quite
obscure to me.