Here is a thread there started by @nutomic a month ago, welcoming them to lemmy and suggesting that they enable federation. (tldr, some admins reply but they don't say anything about federation; another user implies that they maybe don't want federation yet but might later.)
I hope they turn on federation! edit: after reading the above comments 🤦♂️
@nutomic is certainly a good ambassador for Lemmy. That sort of informative welcome would make most new instances feel more committed to joining the Lemmy bandwagon.