Hi Lars,

find attached a patch against (coincidentally) your latest Emacs commit:

dea9970bc0deaf320e78c46a2e7456cbb6e7a0ea

Included are changes to the code and to the manual.  If you need
anything else, let me know!

―Felix