As many of you have astutely noticed, some of the server names have changed. However I’d like to point out a couple of things. Firstly the total number of servers hasn’t actually changed. Secondly, the only server names that are really new (as far as I know) are Diamond Dove, and Banana Barracuda. The rest have the same names as when the server list used to be huge.