…should we migrate somewhere else?

We need at least one active mod to make it worthwhile to invest time in this community and set up a bot, etc.