Quel % de Hyperliquid devrait représenter Lighter ? En moyenne, il semble générer environ 10 % des revenus de Hyperliquid. Alors pourquoi devrait-il valoir plus ?