I'm very sorry to learn that Rochko is stepping down as Mastodon CEO. I think he has probably contributed more than any other person to the success of the Fediverse. And it won't be the same without him.