On Tue, Sep 22, 2020, at 21:26, Ben Nemec wrote: > I'll still be around and try to help out when I can, but it's past time > for me to turn the leadership of Oslo over to someone else. We've got a > great team and I'm sure any one of them will do a great job! Thanks for all the work done, Ben. Regards, JP