<s>[INST] Can the name of an autonomous district be changed by the Governor's public notification? [/INST] Yes, the name of an autonomous district can be changed by the Governor's public notification. </s>