I don’t think they really need a standardized place to move to. The natural gTLD for them to move to today would be .tech, but it could be anything. Nothing wrong with good old .com. Every one of these companies undoubtedly already own at least a dozen versions of their domains on all the most popular gTLDs. The time scale of moving would also be 5-10 years. Thats plenty of time to move your domain, have a redirect on the old domain, and people to get used to the new domain.
I don’t think they really need a standardized place to move to. The natural gTLD for them to move to today would be .tech, but it could be anything. Nothing wrong with good old .com. Every one of these companies undoubtedly already own at least a dozen versions of their domains on all the most popular gTLDs. The time scale of moving would also be 5-10 years. Thats plenty of time to move your domain, have a redirect on the old domain, and people to get used to the new domain.