Published on May 18, 2023 [Permalink] OK. A productive morning of code and writing. It’s time for a break. Lunch will have to wait until later.