Thomas Munro Fri, 11 Jul 2025 21:40:36 -0700
On Sun, May 25, 2025 at 2:34 AM Dmitry Dolgov <9erthali...@gmail.com> wrote: > I see thanks. Indeed, there isn't much difference between what I had in > mind and the relevant bits in 0004, so probably it's the way to go.
Done.
