Agenda discussion for public meeting on 2022-02-03

[dotproto]

Please add topics and expected time-box for each for the next meeting(s).

This issue should be closed at least two days before the actual meeting.

[Rob--W]

In practice, the topics were added to the meeting notes at https://docs.google.com/document/d/1QkwhEMtMS67JBUkl_WVPZ4lRSKoWcQNlLJSf_GwSXg8/edit.

Since the meeting has happened (notes pending review at #158 before merging), this issue can be closed.