The hostnames of sets of servers are typically related. It is common to the point of cliché to use Norse gods (Loki, Thor) or planets (Mercury, Venus, Mars, so effectively Roman gods). Have you all used servers with other name sets, preferably not about old European culture?
