Thoughts on defederating from alien.top?

See https://mander.xyz/post/6913732. It seems to mirror all reddit users and posts, and we cannot reply or interact so that they see it, so I wouldn't like it spamming our all feed.