I can only guess like you, but it does not seem like business as usual. Given the price action, I'm inclined to believe they've sold.