20191031 city.bengaluru: Is erasing Tipu more a political gimmick than correcting history?