2023-12-09 11:42 eliz@gnu.org:

> Thanks, a few comments below.

Thanks for reviewing. I implemented the requested changes. Here's the
new patch: