"Obar Dheathain" was added as the alt_name for Aberdeen, even though there are many more Scots speakers than Gaelic speakers in the region. Has there been any official legislation change to city names?