News, commentary, and some retrospective, for Tuesday, 17 October, 2023.