@gaby ぜんぜん成り立ちが異なるサーバです。

mastodon.socialはMastodonの生みの親であるEugen Rochkoさんによって管理されている、Mastodon最大規模の、事実上の旗艦サーバです。

mstdn.socialはstuxさんにより運営されているサーバで、中規模の有力なサーバの一つです。こちらもかなりの負荷が襲いましたが、サーバ強化でなんとかしのぎました。