Some personal news: I’ve decided to leave The Washington Post. It feels like time for a break, so I’m going to take one. My last day is Friday. My colleagues are amazing, and I am grateful to have worked alongside the talented, kind folks who cover tech. It’s been a privilege.