What’s happening with io in the future?

Apparently .io is the TLD for the British Indian Ocean territory, which (as I understand it) is going to go away as the UK is going to release the land. From what I understand the TLD would normally go away when the political entity does, but there has been a lot of concern in the industry because this particular TLD was very popular with outsiders.