Paul Eggert <eggert@cs.ucla.edu> writes:

> Thanks, this patch looks good to me; please install in the master branch.

Done.

Thank you for review,
Simon