True. The articles I read on that stated the 200,000 BTC being sold was over several months (Dec. '17 - when the article came out) and I don't recall it implied it was all sold yet or not. So who knows.