Short honk: I found this item amusing: “America’s Tech Guru Steps Down—But He’s Not Done Rebooting the Government.” Let’s see. There was Healthcare.gov and then the missing IRS emails. I heard abou…