There’s so much infrastructure on companies that use .io domains that it’s impossible and pointless for anyone to think about removing the TLD.

For example, Docker Hub images are at docker.io. Why break those? Who knows where those URLs are cached?

Presumably Mauritius will inherit the domain like Russia inherited .su.

To send a signal to corporations and states to not rely on colonial regimes to endure for long.

Yeah… And which of the involved parties are so eager to send that kind of signal to Docker? What would it change?

Mauritius can make money from these registrations, like Anguilla makes a pretty penny from .ai today. They have no practical interest in seeing the .io TLD gone.

Mauritius isn't really the decider here and neither is ICAAN. There is an ISO committee that if they remove the name would kick the decision to Mauritius about how to make the transition.

The TLD they're using.

Presumably. Cutesy ccTLD hacks have given me the ick from the start. My last job used .io for our primary Kubernetes cluster and I found it distasteful. Is a fun little reference worth tying your infrastructure to the vagaries of geopolitics?

I hope not