That type of naming drives me crazy. A server name should be descriptive and easily understood without context or documentation. For example, "api_1" makes a lot more sense than "proteus".