Who was president when Microsoft introduced D&I (Diversity and Inclusion) initiatives in 2019? AFAIK, they never called it DEI internally.