Lean In foundation advocates for women in leadership. But Meta DEI programs rolled back after her departure.