On Fri, Jun 7, 2024 at 12:14 AM David G. Johnston <david(dot)g(dot)johnston(at)gmail(dot)com> wrote:[snip]
> though you’d still have to find someone willing to write the patches.>
That's always the sticky wicket.