On Sunday, 28 August 2022 at 10:37:03 UTC, Mike Parker wrote: > This summary is quite a bit overdue. Sorry for the delay. One of the most interesting posts! Thank you for sharing that, Mike. And for the work of all participants and committers.