Jun 26, 2024 6/25 Spent much of the day copying information between different windows. André Spiegel @drmirror