See recent changes.

• Recent talk: Weathering Software Winter, Nov 16 2022.