Fixes for WoD; "Player-server" is now the cardinal form of player name and all
names are converted to that form internally.