Lemmy is a broad term that covers a large and varied chunk of "the fediverse" but not all of it...
So yeah, "Lemmings" is what people are/were using, but honestly it's outdated already and needs to be something more general already.
Hard to make a name that's not reminiscent of "feds" tho. But a catchall name shouldn't be tied to any instance/software, because it's bigger than any instance/software