¿Cuándo se asegurarán las opciones de venta en las horas que duermen estos desarrolladores?