Oh no.
Anyway, glad that Mastodon isn't down due to it's decentralized nature. That's something bad actors (such as those who are doing that DDOS) and most users (which make the mstdn.social instance and a few other ones, the main ~80% of all Mastodon) fail to to understand, the beauty of it.
(Still feeling bad for the instance and it's users, despite the sarcastic tone)