I don't disagree about the name that should be used, as I said. I just think calling it colonial needs a little more context for people who would not unreasonably assume it's something more similar to Western colonialism of India or something.

On that note, "India"/Hindustan/Hindu/etc. are somewhat similarly colonial-rooted names, ironically popularized by the Iranians.