I think it’s one of those things that will become a bigger deal indirectly because of all the knock-on effects. Like the branding, they’ll have to have the logos all redesigned, the domain name will have to change, it’ll mess up a lot of troubleshooting when people google the old name etc.