Fixes #30: Game server generates human-friendly names.