On Monday, 22 January 2018 at 05:03:41 UTC, Walter Bright wrote: > On 1/20/2018 10:33 AM, David Gileadi wrote: >> [...] > And thank you for doing this! This will be a nice addition to > Ddoc. +1, thanks a lot!