@HeptaSean We should respect whatever name the gulf itself chooses, yes. In the absence of the gulf expressing its preferences it's more complicated but the take wasn't really saying whether we should or shouldn't respect a name change imposed for political reasons; rather it was pointing out that if you're capable of learning and using a new name for a gulf, you're capable of learning and using a new name for a person so the "but it's too hard" excuse doesn't work.

@cjust