This is one of the most insightful comments in this entire thread. Public companies never drop news during the trading day, and Microsoft surely would have been notified in advance if they planned to fire him, and had some say in the timing of the release. Whatever it is, it is so serious that Microsoft would break that coda.