> On 20 Mar 2020, at 00:55, John Ralls <jralls at ceridwen.us> wrote: > > Michael, > > Found, fixed, and pushed. Thanks for reporting it. > > Regards, > John Ralls Thanks for your prompt attention to an issue which probably only affected me. Michael