20211226 city.jaipur: Three metro stations to be renamed