On Sun, May 25, 2025 at 2:34 AM Dmitry Dolgov <9erthalion6(at)gmail(dot)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.