Se desconoce el porqué actualmente se denomina al lugar como Colonia San Miguel.