Разработчик AR-гарнитур Magic Leap нашёл замену ушедшему гендиректору — компанию возглавит бывший топ-менеджер Microsoft