Ask HN: Who should succeed Balmer as CEO of Microsoft?

Who do you think should succeed Balmer as CEO of Microsoft?