Server merge: Hidden server names.

[Quesse]

I'm not saying if it's a good call or not, I'm just saying I can see the reasoning that is behind the decision. Some people are just loudly wondering why, oh why they don't give us the server names. There's a reason why: so you don't choose them based on the name.

Seems reasonable to me.