GM. I hold my Ocean on a ledger. Will they be automatically migrated or should I send them to Binance?