Could that be the reason for the fat finger dump earlier today? Someone saw the comments and sent an anonymous tip to a whale?