Theoretically .io should cease to exist as well but apparently TLDs can be "too big to fail"[0], too. But officially, there's a 5 years-long grace period after which .io is deemed to be sunshined[1].
> In essence, a five-year time window will commence during which time usage of the domain will need to be phased out.
Related: "Ask HN: What happens to ".io" TLD after UK gives back the Chagos Islands?"[2] (2024-10-03), 250p 210c
[0] https://www.theregister.com/2024/10/10/io_domain_uk_mauritiu...
[1] https://domainnamewire.com/2024/10/09/io-domain-names-arent-...