What do these mean and what are they for? They’re names of Urbit planets and there are more than four billion of them.