Is hexbear.net/chapo.chat federated? They seem very active but when I search for a community hosted there on a different server it doesn’t show up?