> On Mar 16, 2020, at 5:24 AM, martin rudalics <rudalics@gmx.at> wrote:
> 
> > Thanks. I’ll prepare a patch for etc/news. Should I also update the manual?
> 
> Please do.
> 
> Thanks, martin
> 

Here it is.

Yuan