On Sunday, 28 August 2022 at 10:37:03 UTC, Mike Parker wrote: > This summary is quite a bit overdue. Sorry for the delay. Thanks for this, and for keeping all the details. Good work! — Bastiaan.