Server name rules adjusted

Yesterday we deployed a small tweak to the characters allowed in server names.

The main changes are as follows:

• Server names cannot contain underscores anymore.
• Server names can now contain spaces.
• However spaces cannot be the starting or ending character of the server name. And there cannot be 2 spaces in a row in the name.

This has improved the server addresses we generate for you, and means it's much less likely you can't connect to your server in some cases.

We ran an automated process to change existing servers than did not meet these rules. It was mainly a process of just converting underscores to spaces.

Enjoy your day!