Add meeting minutes from May 23 meeting

[pleia2]

Meeting minutes from the May 23rd meeting were captured here: https://docs.google.com/document/d/1AOPmeRivS_fwc17pjV7_34zxiCRh-j6PRGkLpDLAG5M/edit#

But they need to be added to this repository. We need to create meetings/2023-05-23.md with the details from above.

[pleia2]

Completed with #139