Back on Mastodon as my impression was that it is steadily growing. Has the tech community stayed, or just kicked the tyres and left?