Paul Eggert <eggert@cs.ucla.edu> schrieb am So., 24. Sep. 2017 um 07:03 Uhr:

> Eli Zaretskii wrote:
> > Thanks.  How about updating the Emacs manual as well?
>
> Yes, other than that it looks good to me.
>

OK, here's a new patch.