They certainly contributed, yes, but there are like two hundred people total on all of the Rust teams. Losing them hurts, they’re fantastic folks, but Rust is just way bigger these days.
It’s just that the team is right there for the taking and it’s so easy to hold control over the most exciting language of the next five years as Google instead of MS EEE’ing Rust soon.
