Added the @name attribute to tag servers with arbitrary strings.