[MM3-users] Re: Renaming a server after building