It's the bit about Hexbear switching over from a fork to mainstream Lemmy (sorry, but that's how I understood what you said) made things click for me.

I've always assumed that even if Hexbear were not federated, its users should have been counted as Lemmy users, but Hexbear using a fork, and thus, not being counted makes sense.

Thanks!