On Tuesday, 5 May 2020 at 15:39:12 UTC, Dmitry Olshansky wrote: > P.S. I'm kind of back, but very busy and my health is mostly > great despite the COVID outrage out there. That's great! Glad to hear that. -- Bastiaan.