Basil L. Contovounesios [2025-02-02 18:48 +0100] wrote:

> If there is agreement, I can follow up with a patch for our docs and
> tests.

I propose the attached.  WDYT?

[ I'm not sure whether it applies cleanly as is; it builds on the
  unrelated patch proposed in https://bugs.gnu.org/75633#22. ]

Thanks,
-- 
Basil