On Fri, May 22, 2020 at 2:53 PM Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)com>wrote:
>> Done.>
Thanks!
ThanksRichard