Web conference, 11 January 2023

(extended 12 January 2023, if needed)

Informal Documents