30th July 2023: a note

This week’s entry is the last for the summer. The blog will resume with a posting (in late August) for Sunday, 3rd September 2023.