On Fri, Nov 8, 2024 at 6:15 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> Here's a patch for approach #3. This is low-urgency and a code freeze
> begins in a day or two, so I'm *not* proposing it for next week's
> release.
Hearing no objections, I pushed this.