That is what it sounds like to me. My understanding is also that the Overstock effort has significantly fractured. The Counterparty founders have left the project, and I hear they only have a few people working on it.
But it sounds like the Winklevi have a much larger team and a lot more capital going into the development.
In my opinion, we should try to get in touch with this effort, and show them how to do a decentralized exchange with Bitshares.
Is anyone interested in forming a team with me to try this? Is there anyone that knows more about any of this?