Reading: Microsoft Lays Off 830 Employees in Washington as Part of Broader 9,000‑Job Cut.