Leadership Change in the Rust Infrastructure Team

Leading a team is tiring work, so I hope Pietro has some time to recharge and then get back to the fun stuff.

Honestly, I’m not even sure why this has as many upvotes as it does: this is a pretty boring change, all things considered.