Mastodon's CEO has officially stepped down. I can't be the only one disappointed that Mastodon didn't succeed in rising to the moment when the Muskening happened, so it's probably a good thing to change the leadership.

But still, his accomplishment deserves respect.