Glad to hear, the ones doing the work now will get more recognition and the one leaving can do more of what they want. Hopefully they had a good handoff.

Thank you.

We should celebrate these kinds of changes. Like its great that they've already achieved so much and not just that, but left behind a group of folks just as committed in the future of the project.

I always feel that posterity of your work beyond your own contribution is the real achievement and a sign of humility.