On 2025-11-27 07:56, Joseph Myers wrote: > I don't think any of the comments so far provide a basis for needing > changes to the patch. Thanks for reminding me. The patch looks OK. Reviewed-by: Paul Eggert <eggert@cs.ucla.edu>