Published on Jul 24, 2023 [Permalink] It’s time for a break. I got a lot done so far. I think I’ll read a bit—or a book.