Facebook’s workforce diversity update shows how far tech has to go