There’s two “announcements” I see in the Reddit threads, and it isn’t clear which he’s talking about here: the internal announcement, from an hour before the public announcement.
It’s pretty shitty if he sold after the internal, and still even if he waited “3-6 minutes” after public, he still had an hour to prep his sell and make a decision on whether he would.