The resource-government zone district has existed only in Pitkin County land-use code and not on the maps since 2006, but ...