I've bought domain names at marketplaces, and then later had to get them removed from other marketplaces. Unfortunately, not all sellers are methodical in quickly removing their stale listings when transactions take place.
It's not 100% clear...
If you actually read my blog post, you'd know the answer to this, as I literally link to the court dockets and cite the exhibits and page numbers where you can see the list of domains.....
P.S. I previously documented that the Shift.com domain name was acquired for $385,000 in 2015, as per:
https://www.dnjournal.com/archive/domainsales/2020/20200729.htm
This bankruptcy auction is a reminder that elite domain names are assets...
We already established months ago who owns it....
https://domaingang.com/domain-news/true-owner-of-ai-com-is-a-malaysian-crypto-sleuth-according-to-research/