Paul Eggert Thu, 31 Oct 2024 17:21:56 -0700
Thanks, I installed malloc.diff and a somewhat-simpler doc fix.