Did Microsoft really kill OLPC?