20200611 city.trichy: All-round cheer for reverting to Tamil names Thiruchirappalli and Mathurai