Allow multiple server names in .nedmrc