En todos los mapas locales, el pueblo aparece con el nombre de San Francisco. "San Pancho" NO es el nombre correcto. No sé como enviar a OpenStreetMap una copia en formato JPEG de alguno de estos mapas