Did they sell their remaining 1 billion in bitcoin? I saw they sold 100m a few months ago.