Stipulating that these people were robbed of their island, I’m not sure it immediately follows that the io domain belongs to them as well. The more likely resolution would seem to be handing the islands back to Mauritius, which is .mu.