Didn’t they fire some people from google who were protesting US military contracts a while back?