Rumor is they tried to get Ballmer but he wasn't available. https://twitter.com/danlev/status/1656373547093352449