On Fri Nov 14, 2025 at 12:02 PM UTC, Stuart Henderson wrote: > here's one possible attempt at changing this, I think it's for the > better but I'm sure there will be some disagreement.
Hi Stuart, Thank you for looking into this and for writing the patch! I think it looks great. I understand it may be controversial, but to me it seems quite reasonable. I can't see anything questionable, but if confidence would be improved by installing a release with the changes, I can give that a try. -Henrich
