News From coding to supervising: Microsoft’s AutoDev relegates software developers to the job of supervisors