Do we actually have a proof that they really did that?
Discussion
I’m sure if you went back to 3/14/23 you can probably sleuth to find the sale. Unless they didn’t send funds and just transferred keys to the auctioneers https://www.tradingview.com/news/u_today:7bc3616cf094b:0-silk-road-crypto-sale-us-govt-sells-9-800-btc-aims-to-offload-41-500-more/
It was in court filings. Apparently they plan to sell the remainder in 4 batches.