MySql dbms serverName restrictions more strict than documentation

[kyschouv]

I was trying to deploy a mysql dbms today, and it seems like the validation for serverName is stricter than the documentation. The documentation describes the naming requirement as

The server name can contain only lowercase letters, numbers, and the hyphen (-) character. It must contain from 3 to 63 characters.

However, the code in mysql/plan_schemas.go doesn't allow for hyphens, restricting serverName to ^[a-z0-9]+$.

It seems like one or the other should be updated, unless there's a reason for the difference?