@Jason_Dodd It would be detrimental to the project, which would lose one of its two most active contributors and it would be detrimental to the network, which would lose two of its top servers.
It might also hurt public perception, to the extent that there is any public perception.
Whether you're joking or not, after a hit like that, someone torpedoing Mastodon gGmbH, I still seriously think the network would be more active than it was in October 2022.
The biggest hit to growth would probably be joinmastodon, but I think the network has enough friends of friends that joinmastodon is only important, not crucial.