On Friday, 24 June 2022 at 14:27:17 UTC, Mike Parker wrote: > The monthly meeting for June 2022 took place on June 10. Just want to say, thanks for writing up these summaries every month. I'm sure it's not the most exciting work, but the transparency is very much appreciated.