Draft notes from today's meeting

Thank you to Guido for taking notes at today's meeting:
https://docs.google.com/document/d/1y2LEGdGxZqpKfACjVlHzaiI5e38DZRM0T8Odnftcl0I/


Please send comments/additions/deletions to me.

Received on Tuesday, 22 June 2021 20:26:09 UTC