Were ETHDs in Etherdelta exchange swapped? So if we buy ETHDs in there, we don't need to swap it any more, right?