From one of the other HN threads, it seemed that FTX.us was firewalled from FTX.intl. Is that now revealed to be false?