> On Nov 14, 2022, at 10:41 AM, Derek Atkins <derek at ihtfp.com> wrote: > > But no, the scripts are not in git. That's easily changed. Regards, John Ralls