Googling "kroford" returns a few results related to Star Wars, and the server is named "deathstar". I thought that at first too, but now I doubt it.