20181104 city.goa: Facelift for Miramar beach; Portuguese-era steps in city