What the Google ‘anti-diversity’ memo got right