I think the people just had to go to ‘hotmail’ or some other email. Really don’t know.
Usually the domain stays valid but the registration changes. It’s a few lines of config changes to do this.