Celebrating el Día de los Muertos / Day of the Dead in San Miguel de Allende last week.