I apparently misremembered. There was a poll, and they posted the results here. But the poll didn't make mention of Lemmy and instead asked about migrating entirely to Discord (which honestly makes sense since the weekly thread is mainly a "live chat" of sorts). They voted to stay on Reddit instead of migrating entirely to their Discord server.
Both the subreddit and Discord server are active enough that they don't feel "barren" but small enough that they have a tight sense of community.
They voted against moving entirely to Discord, though. They already had an active Discord server prior to the poll and were asking people if they wanted to move entirely off of the subreddit and onto the Discord server. So I doubt they'd agree to move onto an entirely new Matrix server, especially if it wasn't run by the same mods as the current subreddit/ Discord server. The mods are actually well-liked by the community.
No, what I mean is replace what is on Discord by Matrix, and whatever is on Reddit with Lemmy.
If the mods are well liked and act in the interest of their users, even better. I'd be willing to support them with whatever they need in terms of technical support and how to migrate a whole community.
If you want them to migrate and you're offering your services to help them, you should probably DM the mods yourself instead of just talking to me about it.
This is not about "my services", this is about getting people to migrate away from walled gardens like Reddit and Discord. People are more likely to act if they hear from someone closer to them, don't you think?