Какой % от Hyperliquid должен составлять Lighter? В среднем, кажется, что он приносит около 10% доходов Hyperliquid. Так почему он должен стоить больше?