Dave Thompson, retired from Microsoft