My old company used Greek and Roman gods and heroes. Hermes01 was the mail server, for example (because Hermes was the messenger of the gods). I don’t remember all of them, but we had demeter (esx clusters), zeus (file servers iirc), Ares (backup servers), and other server names like that.
I think you are correct. Lemmy is really just gearing up at the moment, but can’t handle the volume to compete with reddit.
The increase of instances, user guides, communities and third party apps are necessary building stones of a federated reddit alternative of size.