I asked Dario this on stage last week. He said the shares are owned by the bankruptcy estate and are being sold/disposed of through that mechanism.