CIRCLE WITH A DOT

If you don’t have many users on the server, inform the users about the name change and just change it. I did that several times because I was never satisfied with the domain name. But the consequences are there, as @julian says.