20170711 city.goa: PMC's library being shifted from decrepit building to market complex