The Google “anti-diversity screed” was neither anti-diversity nor a screed