Docs: Elon Musk plans to cut ~75% of staff if he buys Twitter; the company plans to pare down its payroll by $800M by the end of 2023, affecting ~25% of staff (Washington Post)