Maybe? I looked around, and I couldn't find anything that stated that we defederated them. I just noticed I couldn't reach !touhou@ani.social from my own instance, so I checked our defederated communities and found ani.social named there. I wondered if our instance admin blocked them across the entire Jerryverse, but they're not blocked on his Lemmy instance, his Akkoma instance, or his main Mastodon instance.