On Thursday, 23 April 2020 at 22:00:40 UTC, Walter Bright wrote: > On 4/22/2020 5:04 AM, Manu wrote: >> [...] > > Well done, Manu! This looks like a very good idea. I'm > optimistic about it. Thank you for pushing this forward! That made my day a sunny day! :-P