We are removing a machine from our cluster and wanted to rename others. Should we remove the machine from the cluster when connected or can it be done when it is offline? Also I found some links to rename the hosts but what is the good way to do it without reinstalling and resetting the licenses?