Even googling “Lemmy” doesn’t bring up useful results.
It's not helped by the fact that it has the same name as a famous musician. Googling for Lemmy just brings him up — the Fediverse doesn't show up unless you scroll down a ways, if it even shows on the front page at all. Same with Tildes and Squabbles, both being already existing words. Branding is important for recognizability, and "Reddit" has the advantage of being a unique name.
It's not helped by the fact that it has the same name as a famous musician. Googling for Lemmy just brings him up — the Fediverse doesn't show up unless you scroll down a ways, if it even shows on the front page at all. Same with Tildes and Squabbles, both being already existing words. Branding is important for recognizability, and "Reddit" has the advantage of being a unique name.