Our sysadmin insists on using numbers to name systems, in combination with an abbreviation representing the OS. For example, RHL015 is our 15th server running C

Our sysadmin insists on using numbers to name systems, in combination with an abbreviation representing the OS. For example, RHL015 is our 15th server running CentOS (Red Hat Linux). It's quite maddening!