Just curious but where are you getting the 20.5k btc figure from? Is it in that article? (I skimmed quickly but didn't see it).
At the time of the bankruptcy it was widely publicised that they held 0BTC on the exchange. However they may have held gbtc? Every time i hear coverage about this it always seems to gloss over this point.