20170516 city.goa: GCET could be redundant from 2018