we used to have a much less exciting format. In the beginning, the names worked out but eventually you end up running out of cool names. So we stuck with webserver001, dbserver001, emailserver001, etc.