Mastodon.social seems super slow this morning. Is this really because Jack stepped down as Twitter CEO? Or coincidental?