On 28 Sep 2020, at 15:32, Dan Cross <crossd@gmail.com> wrote:I just got word that Andrey has passed away. :-(I'm sorry, I don't have any further details right now, but wanted to let folks know. - Dan C.