I have no preference in what the server is named. I do believe, however, that it should be kept true the exact purpose of the server; it doesn't need an actual "playercount" with players. Just make sure it holds it's original goal - to support graal development (to assist in learning how to properly Script) - and it should be fine
.
I do agree with Chris - that it should be Advertised that there IS a place to learn how to script, and if you are serious about learning, you are eligible to join up and learn. I feel like it's a "gem in the rough" so to speak; it's an amazingly great idea and tool, but not enough people know about it
.