This brings back great and terrible memories.

There were so many arguments between otherwise reasonable people over server names.

Some went for cute, some for mythology, some planetary (which can be quite limiting if you stick with only the home solar system), and finally my favorite - the purpose-based, numerically suffixed.