Merge with bunnies@lemmy.world?

Hi! I have been directed to this community, which I was previously unaware of, by this comment. I'm a !bunnies@lemmy.world user, not a mod, but seeing as our mod @RojaBunny@lemmy.world seems to have abandoned Lemmy and the Bunnies community I thought I might get the ball rolling on figuring out how to deal with there being two bunny communities. Do we want to merge, and if so how do we want to approach it? I see four options:

• Stay separate, do not merge
• Merge: move Bunnies users to Rabbits
• Merge: move Rabbits users to Bunnies
• Merge: move users of both communities to a single new community