If Steve Ballmer resigned right now, would anyone even tweet about it?