Remove some potentially objectionable server names.

Some of the server names are culturally objectionable to various
groups. This commit replaces them with culturally neutral names.

Fixes issue #2464.