20200730 city.delhi: Heavy rain eludes Delhi; more of same today