I'm saddened to hear this. I'm brand new to the Audacity forum, so never had the chance to interact with him, but after using Audacity for many years, I've come to appreciate the fantastic work all of you have been doing. My condolences for the loss of your team member!