this community is dead and has no active mods...

...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.