Did the news leak before market open? His tweet was at 10:48 EST, and the email screenshot has 9:45 AM, which presumably is EST (it's certainly not PST).

Edit: The submission to HN was before the tweet. Huh? I guess it originally linked to somewhere else.