20211012 city.goa: Govt gets HC notice over mining leases