¿Qué % de Hyperliquid debería ser Lighter? En promedio, parece generar alrededor del 10% de los ingresos de Hyperliquid. Entonces, ¿por qué debería valer más?