2023-11-01: Version 3.5.1 Released

V3.5.1, which I released yesterday, Halloween, in between handing candy out to kids, fixed a few bugs. Some of them had to do with changes in Sonoma I didn’t handle correctly; some of them had been wrong before Sonoma. They were all cosmetic, dealing with how timelines looked or how parts of the app looked; there are no functional changes in this build.