Hi, On Sun, 21 Jan 2024, at 21:06, Jonas Smedegaard wrote: > Just a notice that I am still working on this. If you want to follow my > work more closely, then I can put up my fork of the git repo somewhere, > but if you won't be looking closely anyway, then I will not bother > setting that up, and instead simply shout out when I have something > more substantially working.
Thank you for this. I don’t have to time to look at this myself at the moment, but tarzeau (cc'd) expressed some interest. -- Cheers, Andrej
