As usual, please take a look at the digest version and make sure I've
represented the meeting accurately.
Here's a poll for the next meeting time. I decided to target the end
of June & beginning of July, but let me know if you think we should
pick another range of dates.