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.