@rysiek you pretty much said it. If France can still have what is effectively just another ccTLD for .aq, certainly the UK will not have a problem keeping .io alive for their claim.
That's not even mentioning .gb exists and hasn't been used for decades, with the UK only last year giving their intention to retire it