Thread:User talk:TheDaveRoss/Big Bend State etc./reply

I disagree, but what would you suggest as an alternative? I think this treatment is less confusing than simply listing the state name with context tags, and the other dictionaries I looked at seem to agree. Also, most of the nicknames are neither colloquial nor informal, most are official nicknames and appear in official contexts.