From earlier: "Google to reduce workforce by 12k" (https://news.ycombinator.com/item?id=34451051)