The draft minutes for our meeting are available at
https://docs.google.com/document/d/1mce8f1kTvDHuAd0Dta84qxHiL1yswcsW31UJEpNopF0/edit?usp=sharing