In the healthy exodus from Twitter to Mastodon, Twitter’s unhealthy metrics of engagement should have been discarded as well.