ParentFull threadpstrateman·ftx.us and FTX US Derivatives LLC (aka LedgerX) are different things.View on HN