Ask HN: What happens to ".io" TLD after UK gives back the Chagos Islands?

UK will give sovereignty of Chagos Islands to Mauritius: https://www.bbc.co.uk/news/articles/c98ynejg4l5o