In fact, specifically for this reason, it’s forseeable that Mauritius does not retire the domain but keeps .io around, the same way that Russia keeps .su around (.ru being RUssia, and .su being the Soviet Union that hasn’t been around for quite a few decades now).