is Blahaj federated with hilariouschaos.com?

was trying to find out if we are intentionally defederated, I don’t see any hilariouschaos communities showing up in the Blahaj search, so I assume they aren’t federated - just not sure why and was hoping to learn the lore 😅