On 2024-10-02 15:24, Paul Eggert wrote:
> I'm also working on a more comprehensive fix. This will require Gnulib 
> changes.

I installed the attached (plus some other refactorings) to do that.