On 2017-04-01, at 17:22, Eli Zaretskii wrote:

> They should be mentioned in NEWS, definitely.
>
> As for the manual (I guess you meant the user manual), it depends on
> whether you think the added option is important for users to know
> about.  (Btw, your ':version' rag is incorrect, it should be "26.1".)

The attached patch contains the above changes.

Best wishes
Jens