I've set up a small gluster cluster running three nodes and I would like to rename one of the hosts. What is the proper procedure for changing the host name on a node? Do I simply stop the gluster service, detach the peer and then run sed on the files under /var/lib/gluster to use the new name? Any other locations that I should be aware of?