Paul Eggert Mon, 17 Apr 2023 09:03:39 -0700
Thanks, I installed that 2023-03-03 doc patch into Autoconf master.